Layered Modal Type Theories
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2023
- DOI:
- 10.48550/arXiv.2305.06548
- arXiv:
- arXiv:2305.06548
- Bibcode:
- 2023arXiv230506548H
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages