Sign In
Type Theory
Add New Item
1 followers:
eshnil
Computational Higher Type Theory I: Abstract Cubical Realizability (2016)
(arxiv.org)
Research Papers
0 Reviews
Cubical Type Theory: a constructive interpretation of the univalence axiom (2016)
(arxiv.org)
Research Papers
0 Reviews
The derivative of a regular type is its type of one-hole contexts
(strictlypositive.org)
Research Papers
0 Reviews
Type Theory and Formal Proof: An Introduction (2014)
(goodreads.com)
Books
0 Reviews
Lambda Calculi with Types (1992)
(citeseerx.ist.psu.edu)
Research Papers
0 Reviews
On the meanings of the logical constants and the justifications of the logical laws
(uberty.org)
Research Papers
0 Reviews
The Syntax and Semantics of Quantitative Type Theory (2018)
(bentnib.org)
Research Papers
0 Reviews
Propositions as types
(homepages.inf.ed.ac.uk)
Research Papers
0 Reviews
Type Theory & Functional Programming (1999)
(cs.kent.ac.uk)
Books
0 Reviews
Showing
9
Items
Quick searches
:
Learning Plans
|
Short Videos
|
Learn By Doing
|
Books
|
Challenging
|
Visual
|
All
Type
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
Length
Any Length
Less than 5 minutes
5 to 15 minutes
15 to 30 minutes
30 to 60 minutes
1 to 3 hours
More than 3 hours
Quality
Any Quality
inspirational
educational
challenging
entertaining
visual
interactive
