Back to Results
First PageMeta Content
Mathematical logic / Type theory / Logic / Mathematics / Homotopy type theory / Univalent foundations / First-order logic / Natural deduction / CurryHoward correspondence


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

Document Date: 2012-04-26 12:08:31


Open Document

File Size: 151,96 KB

Share Result on Facebook