First Page | Document Content | |
---|---|---|
Date: 2012-04-25 09:32:10Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus | Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgAdd to Reading ListSource URL: events.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 135,55 KBShare Document on Facebook |
Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís CairesDocID: 1uAKx - View Document | |
RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir VoevodskyDocID: 1rbMo - View Document | |
Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgDocID: 1p7Wu - View Document | |
Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008DocID: 1p4JM - View Document | |
Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny MunkegadeDocID: 1o9To - View Document |