Back to Results
First PageMeta Content



Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017
Add to Reading List

Document Date: 2018-03-28 14:04:14


Open Document

File Size: 151,05 KB

Share Result on Facebook