Back to Results
First PageMeta Content
Type theory / Dependently typed programming / Logic in computer science / Proof theory / Mathematical constructivism / Function / Intuitionistic type theory / Axiom of choice / Constructible universe / Mathematical logic / Mathematics / Logic


Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation
Add to Reading List

Document Date: 2013-11-27 15:43:03

Open Document

File Size: 131,99 KB

Share Result on Facebook

IndustryTerm

interactive proof systems / /

MarketIndex

Russell 1925 / /

Organization

Theory and Univalent Foundation / Royal Society / Type Theory and Univalent Foundation Church / Univalent Foundation Church / /

Person

Thierry Coquand / /

SocialTag