Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré - Henri Poincaré - Document - PDFSEARCH.IO

First Page	Meta Content
	Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré Add to Reading List Document Date: 2014-05-06 15:17:31 Open Document File Size: 467,52 KB Share Result on Facebook

Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré Add to Reading List