32886 articles – 26189 Notices  [english version]
.:. Consultation > Par auteur > Altenkirch .:.
2 documents classés par :

Homotopy Type Theory: Univalent Foundations of Mathematics
Aczel P., Ahrens B., Altenkirch T., Awodey S., Barras B., Bauer A., Bertot Y., Bezem M., Coquand T., Finster E. et al
Aucun (Ed.) (2013) 448 [hal-00935057 - version 1]
fulltext access Hereditary Substitutions for Simple Types, Formalized
Keller C., Altenkirch T.
Dans MSFP - Third Workshop on Mathematically Structured Functional Programming - 2010 (2010) [inria-00520606 - version 1]