Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016 - Robert Harper - Document - PDFSEARCH.IO

First Page	Meta Content
	Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016 Add to Reading List Document Date: 2016-07-27 12:02:54 Open Document File Size: 306,36 KB Share Result on Facebook

Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016Add to Reading List