First Page | Document Content | |
---|---|---|
Date: 2012-04-26 12:08:31Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence | Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgAdd to Reading ListSource URL: events.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 151,96 KBShare Document on Facebook |