类型理论的二维模型
逻辑
2011-10-17 v2 范畴论
摘要
我们描述了一种 Martin-Löf 类型理论的非外延变体，称之为二维类型理论，并为其配备了在 2-范畴中取值的可靠且完备的语义。
关键词
引用
@article{arxiv.0808.2122,
title = {Two-dimensional models of type theory},
author = {Richard Garner},
journal= {arXiv preprint arXiv:0808.2122},
year = {2011}
}
备注
46 pages; v2: final journal version