Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014 - Carnegie Group - Document - PDFSEARCH.IO

First Page	Meta Content
	Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014 Add to Reading List Document Date: 2014-06-01 15:27:30 Open Document File Size: 885,02 KB Share Result on Facebook Organization Carnegie Mellon University / / Position Coq proof assistant / / SocialTag Abstract algebra Homotopy type theory Groupoid Homotopy Lambda calculus Path Fundamental group Function Hurewicz theorem Homotopy theory

Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014Add to Reading List