First Page | Document Content | |
---|---|---|
![]() Date: 2012-04-26 12:08:36Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function | Add to Reading List |
![]() | Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015DocID: 1uLwU - View Document |
![]() | Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di PalermoDocID: 1ubSQ - View Document |
![]() | Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgDocID: 1rnzm - View Document |
![]() | The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent FoundationsDocID: 1r4G4 - View Document |
![]() | Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgDocID: 1ovzM - View Document |