Code supporting Decomposing the Univalence Axiom
收藏DataCite Commons2024-12-17 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/277791
下载链接
链接失效反馈官方服务：
资源简介：
This Agda code contains a formal development of some of the proofs in the paper Ian Orton and Andrew M. Pitts, "Decomposing the Univalence Axiom", 3rd International Conference on Types for Proofs and Programs (TYPES 2017)
提供机构：
Apollo - University of Cambridge Repository
创建时间：
2018-07-02
