Back to Results
First PageMeta Content
Epistemology / Principal homogeneous space / Function / Disjoint sets / Mathematics / Abstract algebra / Constructivism


Univalent Foundation and Constructive Mathematics Thierry Coquand Oberwolfach, November 21, 2014 Univalent Foundation and Constructive Mathematics
Add to Reading List

Document Date: 2015-02-28 14:56:51

Open Document

File Size: 155,05 KB

Share Result on Facebook

Organization

Univalent Foundation / /

Person

Ai / /

Position

Bishop / /

SocialTag