Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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