Code supporting Internal Universes in Models of Homotopy Type Theory
收藏DataCite Commons2024-12-17 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/275325
下载链接
链接失效反馈官方服务：
资源简介：
Agda code accompanying the paper "Internal Universes in Models of Homotopy Type Theory" by Dan R. Licata, Ian Orton, Andrew M. Pitts and Bas Spitters, in Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108, pp. 22:1-28:, 2018.
提供机构：
Apollo - University of Cambridge Repository
创建时间：
2018-04-26
