Date: 2013-11-27 15:43:03Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic | | Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent FoundationAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 131,99 KBShare Document on Facebook
|