Challenge Faves
Genres

Type Theory


Type Theory Books

Types and Programming Languages (Mit Press)
The Little Typer (Mit Press)
Type Theory and Formal Proof: An Introduction
Homotopy Type Theory
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Advanced Topics in Types and Programming Languages
Practical Foundations for Programming Languages
Type Theory and Functional Programming (International Computer Science Series)
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
History and Philosophy of Constructive Type Theory (Synthese Library)
Lambda Calculus with Types (Perspectives in Logic)
Type-Driven Development with Idris
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
More type theory books...

Lists


Quotes Tagged “Type Theory”

“ I used to do machine language programming in the lights on the front panel of a computer; now I do higher-dimensional type theory. It's a little bit crazy. ...more ”
― Robert Harper
2 likes