Back to Results
First PageMeta Content



Type Theory and Univalent Foundation Thierry Coquand Clermont-Ferrand, October 17, 2013 Type Theory and Univalent Foundation
Add to Reading List

Document Date: 2013-10-16 04:43:16

Open Document

File Size: 124,77 KB

Share Result on Facebook

Company

Russell / /

MarketIndex

Russell 1925 / /

Organization

A. Church / Theory and Univalent Foundation / Reducibility In Church / Univalent Foundation / /

Person

Thierry Coquand Clermont-Ferrand / /

ProgrammingLanguage

Mathematica / /

SocialTag