Back to Results
First PageMeta Content
Type theory / Homotopy theory / Proof theory / Homotopy type theory / First-order logic / Constructivism / Symbol / Natural deduction / Curry–Howard correspondence / Mathematical logic / Logic / Mathematics


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

Document Date: 2012-05-03 11:20:47

Open Document

File Size: 151,96 KB

Share Result on Facebook

Company

Russell / /

Facility

Constructive Mathematics Thierry Coquand University / /

Organization

New / Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Content An / /

Position

Bishop / /

SocialTag