Type Theory
- related_topics:
- curators:
Apps
Articles
Audio, Podcasts
Blogs
Books
📖 Type Theory & Functional Programming (1999)📕 Type Theory and Formal Proof: An Introduction (2014)
Certifications & Assessment
Cheatsheets
Code
Conferences
Courses
FlashCards
Forums, Group chats
Games
Images
Interactives
Journals
Learning Plans
Livestreams
Meetups
Newsletters
People
Q&A
Quotes
Research Papers
- The Syntax and Semantics of Quantitative Type Theory (2018)
- Computational Higher Type Theory I: Abstract Cubical Realizability (2016)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (2016)
- Lambda Calculi with Types (1992)
- Propositions as types
- The derivative of a regular type is its type of one-hole contexts
- On the meanings of the logical constants and the justifications of the logical laws