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-386
9782856298046 (ISBN)

Subject Categories

Mathematics

Roots

Basic sciences

ISBN

9782856298046

More information

Latest update

4/5/2022 6