Canonicity for 2-Dimensional Type Theory Daniel R. Licata∗ Robert Harper ∗ Carnegie Mellon University - Licata - Document - PDFSEARCH.IO

First Page	Meta Content
	Canonicity for 2-Dimensional Type Theory Daniel R. Licata∗ Robert Harper ∗ Carnegie Mellon University Add to Reading List Document Date: 2012-06-25 09:14:22 Open Document File Size: 325,42 KB Share Result on Facebook

Canonicity for 2-Dimensional Type Theory Daniel R. Licata∗ Robert Harper ∗ Carnegie Mellon UniversityAdd to Reading List