U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of Mathematics - Models of computation - Document - PDFSEARCH.IO

First Page	Meta Content
	U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of Mathematics Add to Reading List Document Date: 2008-08-22 07:18:33 Open Document File Size: 653,17 KB Share Result on Facebook City Cambridge / / Facility RICHARD GARNER / St John’s College / / IndustryTerm dependent products / function applications / / Organization St John’s College / Richard Garner Department / / Person Martin Hofmann / Ai / / Position author / / SocialTag Models of computation Algebraic topology Logic in computer science Function Lambda calculus Interpretation Sheaf Type theory Isomorphism Mathematics

U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of MathematicsAdd to Reading List