On the Interpretation of Type Theory in Locally Cartesian Closed Categories Martin Hofmann? Department of Computer Science, University of Edinburgh JCMB, KB, Mayeld Rd., Edinburgh EH9 3JZ, Scotland - Cartesian - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Interpretation of Type Theory in Locally Cartesian Closed Categories Martin Hofmann? Department of Computer Science, University of Edinburgh JCMB, KB, Mayeld Rd., Edinburgh EH9 3JZ, Scotland Add to Reading List Document Date: 2013-04-04 06:19:59 Open Document File Size: 184,19 KB Share Result on Facebook

On the Interpretation of Type Theory in Locally Cartesian Closed Categories Martin Hofmann? Department of Computer Science, University of Edinburgh JCMB, KB, May eld Rd., Edinburgh EH9 3JZ, ScotlandAdd to Reading List