Théorie des types dépendants et axiome d'univalence
Journal article, 2015
Author
Thierry Coquand
University of Gothenburg
Asterisque
0303-1179 (ISSN)
Vol. 367-368 367-3869782856298046 (ISBN)
Subject Categories
Mathematics
Roots
Basic sciences
ISBN
9782856298046