Back to Results
First PageMeta Content
Set theory / Principia Mathematica / Science / Function / Type theory / Extensionality / Zermelo–Fraenkel set theory / Logicism / Mathematics / Mathematical logic / Logic


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:49

Open Document

File Size: 135,55 KB

Share Result on Facebook

Company

Russell / /

Facility

Constructive Mathematics Thierry Coquand University of Gothenburg Equality / /

Organization

Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University / /

ProgrammingLanguage

Mathematica / /

SocialTag