Back to Results
First PageMeta Content
Proof theory / Dependently typed programming / Logic in computer science / Type theory / Riemann surfaces / Mathematics / Philosophy of mathematics / CurryHoward correspondence / Logic / Orbifold


Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg
Add to Reading List

Document Date: 2012-04-24 12:00:17


Open Document

File Size: 128,50 KB

Share Result on Facebook
UPDATE