Layered Modal Type Theories

05/11/2023

∙

by   Jason Z. S. Hu, et al.

∙

0

∙

share

We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.