![](https://www.pdfsearch.io/img/c8b6013fec9842a971b24b7f50550069.jpg) Date: 2013-05-09 12:23:44
| | Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,Add to Reading ListSource URL: www1.maths.leeds.ac.ukDownload Document from Source Website File Size: 293,58 KBShare Document on Facebook
|