![](https://www.pdfsearch.io/img/a35c768d809b6e1052b26bc70435bd3e.jpg) Date: 2015-07-13 06:15:55
| | The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich TLCA, Warsaw, 3rd July 2015Add to Reading ListSource URL: rdp15.mimuw.edu.plDownload Document from Source Website File Size: 1,77 MBShare Document on Facebook
|