Back to Results
First PageMeta Content



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

Document Date: 2013-05-09 12:23:44


Open Document

File Size: 293,58 KB

Share Result on Facebook
UPDATE