Théorie des types dépendants et axiome d'univalence
Journal article, 2015

Author

Thierry Coquand

University of Gothenburg

Asterisque

0303-1179 (ISSN)

367-386

Subject Categories

Mathematics

Roots

Basic sciences

ISBN

9782856298046

More information

Created

10/10/2017