依赖类型论中关系模态的预层模型
计算机科学中的逻辑
2018-05-23 v1
摘要
本报告是“Bridge/Path 立方集上参数化依赖类型论的一个模型”（Nuyts, arXiv:1706.04383）的扩展。本文的目的是证明我们具有参数量化（Nuyts, Vezzosi and Devriese, 2017）和相关程度（Nuyts and Devriese, 2018）的依赖类型论模型的所有技术方面。
引用
@article{arxiv.1805.08684,
title = {Presheaf Models of Relational Modalities in Dependent Type Theory},
author = {Andreas Nuyts},
journal= {arXiv preprint arXiv:1805.08684},
year = {2018}
}
备注
Technical report. 101 pages. Extension of arXiv:1706.04383