![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 / Dependently typed programming / Logic in computer science / Proof theory / Mathematical constructivism / Function / Intuitionistic type theory / Axiom of choice / Constructible universe / Mathematical logic / Mathematics / Logic](https://www.pdfsearch.io/img/e4ed56c78cf2b258bbb218a8442c8d0b.jpg)
| Document Date: 2013-11-27 15:43:03 Open Document File Size: 131,99 KBShare 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 |