Sign In
Type Theory
Add New Item
Show me
Any format
Apps and Software Tools
Articles and Essays
Audios and Podcasts
Blogs and Twitter feeds
Books
Assessment and Certifications
Forums and Chat Groups
Cheatsheets
Code
Conferences
Courses and MOOCs
FlashCards
Games
Pictures and Infographics
Interactives and Explorables
Journals and Magazines
Learning Plans
Livestreams
Meetups
Newsletters
People
Q & A forums
Research Papers
Summary or notes
Videos and Films
Websites
Wikis
Discussion Threads
which are
Any length
< 5 minutes
5 to 15 minutes
1530 minutes
30 to 60 minutes
1 to 3 hours
more than 3 hours
long and
Any quality
inspirational
educational
challenging
entertaining
visual
interactive
Quick searches:
Learning Plans

Short Videos

Learn By Doing

Books

Challenging

Visual

All
Books
Type Theory & Functional Programming (1999)
Type Theory and Formal Proof: An Introduction (2014)
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 onehole contexts
On the meanings of the logical constants and the justifications of the logical laws