Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Document Date: 2014-02-23 10:00:40 Open Document File Size: 115,22 KB Share Result on Facebook IndustryTerm usual law / / Organization Voevodsky Univalent Foundation / / Position Bishop / / SocialTag Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology

Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive MathematicsAdd to Reading List