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

First Page	Meta Content
	2-Dimensional Directed Type Theory Daniel R. Licata∗ Robert Harper∗ Carnegie Mellon University Add to Reading List Document Date: 2011-05-26 14:50:31 Open Document File Size: 285,51 KB Share Result on Facebook

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