First Page | Document Content | |
---|---|---|
Date: 2016-03-10 17:41:39 | Univalence Thorsten Altenkirch Functional Programming LaboratoryAdd to Reading ListSource URL: hott-uf.gforge.inria.frDownload Document from Source WebsiteFile Size: 1,96 MBShare Document on Facebook |