Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference7 articles.
1. Awodey, S., Warren, M.A.: Homotopy theoretic models of identity types. Math. Proc. Camb. Philos. Soc. 146(1), 45–55 (2009)
2. Bezem, M., Coquand, T., Huber, S.: A model of type theory in cubical sets. In: Matthes, R., Schubert, A. (eds.) 19th International Conference on Types for Proofs and Programs (TYPES 2013), Leibniz International Proceedings in Informatics (LIPIcs), vol. 26, pp. 107–128. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2014).
https://doi.org/10.4230/LIPIcs.TYPES.2013.107
.
http://drops.dagstuhl.de/opus/volltexte/2014/4628
3. Cohen, C., Coquand, T., Huber, S., Mörtberg, A.: Cubical type theory: a constructive interpretation of the univalence axiom (2015). To appear in the proceedings of TYPES 2015
4. Coquand, T.: A remark on contractible families of types (2013). Unpublished note available at
http://www.cse.chalmers.se/~coquand/contr.pdf
5. Garner, R.: Understanding the small object argument. Appl. Categ. Struct. 17(3), 247–285 (2009)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献