Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

First Page		Document Content
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 List Source URL: www1.maths.leeds.ac.uk Download Document from Source Website File Size: 293,58 KB Share Document on Facebook