克里普克风格模态类型论的研究
计算机科学中的逻辑
2023-05-12 v5 编程语言
摘要
本技术报告研究了克里普克风格的模态类型论，包括简单类型与依赖类型。我们考察了这些类型论的基本元理论，发展了它们的替换演算，并给出了基于求值的规范化算法。
引用
@article{arxiv.2206.07823,
title = {An Investigation of Kripke-style Modal Type Theories},
author = {Jason Z. S. Hu and Brigitte Pientka},
journal= {arXiv preprint arXiv:2206.07823},
year = {2023}
}