Sign in with Facebook
23 books
—
3 voters
Type Theory Books
Showing 1-41 of 41
Types and Programming Languages (Mit Press)
by (shelved 12 times as type-theory)
avg rating 4.28 — 589 ratings — published 2002
The Little Typer (Mit Press)
by (shelved 8 times as type-theory)
avg rating 4.08 — 98 ratings — published 2018
Type Theory and Formal Proof: An Introduction (Hardcover)
by (shelved 7 times as type-theory)
avg rating 4.65 — 20 ratings — published 2014
Homotopy Type Theory (ebook)
by (shelved 6 times as type-theory)
avg rating 4.52 — 54 ratings — published 2013
Advanced Topics in Types and Programming Languages (Hardcover)
by (shelved 4 times as type-theory)
avg rating 3.96 — 49 ratings — published 2004
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 4 times as type-theory)
avg rating 4.00 — 21 ratings — published 1989
Practical Foundations for Programming Languages (ebook)
by (shelved 4 times as type-theory)
avg rating 3.87 — 62 ratings — published 2012
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)
by (shelved 3 times as type-theory)
avg rating 5.00 — 4 ratings — published 2011
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
by (shelved 3 times as type-theory)
avg rating 4.67 — 18 ratings — published 1998
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
by (shelved 3 times as type-theory)
avg rating 4.20 — 5 ratings — published 1990
Type Theory and Functional Programming (International Computer Science Series)
by (shelved 3 times as type-theory)
avg rating 4.33 — 15 ratings — published 1991
History and Philosophy of Constructive Type Theory (Synthese Library)
by (shelved 2 times as type-theory)
avg rating 0.0 — 0 ratings — published 2000
Lambda Calculus with Types (Perspectives in Logic)
by (shelved 2 times as type-theory)
avg rating 4.43 — 7 ratings — published 2013
Type-Driven Development with Idris (Paperback)
by (shelved 2 times as type-theory)
avg rating 4.47 — 101 ratings — published 2017
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by (shelved 2 times as type-theory)
avg rating 4.00 — 14 ratings — published 1997
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
by (shelved 2 times as type-theory)
avg rating 4.00 — 1 rating — published 1994
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
by (shelved 2 times as type-theory)
avg rating 4.28 — 29 ratings — published 2010
Software Foundations (ebook)
by (shelved 2 times as type-theory)
avg rating 4.54 — 41 ratings — published 2011
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf (Logic, Epistemology, and the Unity of Science, 27)
by (shelved 1 time as type-theory)
avg rating 5.00 — 1 rating — published 2012
Functional Design and Architecture (Early Edition, 2020)
by (shelved 1 time as type-theory)
avg rating 4.00 — 10 ratings — published
Formal Semantics in Modern Type Theories (Hardcover)
by (shelved 1 time as type-theory)
avg rating 5.00 — 1 rating — published
Namely, Painless: A unifying approach to safe programming with first-order syntax with binders (Paperback)
by (shelved 1 time as type-theory)
avg rating 3.00 — 1 rating — published
Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory (Paperback)
by (shelved 1 time as type-theory)
avg rating 0.0 — 0 ratings — published
Intuitionistic Type Theory (Paperback)
by (shelved 1 time as type-theory)
avg rating 3.88 — 8 ratings — published 1985
Irrelevance, Polymorphism, and Erasure in Type Theory (ebook)
by (shelved 1 time as type-theory)
avg rating 5.00 — 1 rating — published
Functional and Concurrent Programming: Core Concepts and Features (Paperback)
by (shelved 1 time as type-theory)
avg rating 5.00 — 5 ratings — published
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
by (shelved 1 time as type-theory)
avg rating 4.00 — 13 ratings — published 1965
Large-Scale C++ Volume I: Process and Architecture (ebook)
by (shelved 1 time as type-theory)
avg rating 3.82 — 11 ratings — published
Thinking with Types. Type-Level Programming in Haskell (ebook)
by (shelved 1 time as type-theory)
avg rating 4.48 — 48 ratings — published
Purely Functional Data Structures (Volume 0)
by (shelved 1 time as type-theory)
avg rating 4.14 — 672 ratings — published 1996
Verified Functional Programming in Agda (ebook)
by (shelved 1 time as type-theory)
avg rating 3.80 — 5 ratings — published
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
by (shelved 1 time as type-theory)
avg rating 4.17 — 36 ratings — published 1984
Programming in Haskell (Paperback)
by (shelved 1 time as type-theory)
avg rating 4.09 — 499 ratings — published 2006
Structure and Interpretation of Computer Programs (Paperback)
by (shelved 1 time as type-theory)
avg rating 4.47 — 4,864 ratings — published 1984
Gödel, Escher, Bach: An Eternal Golden Braid (Paperback)
by (shelved 1 time as type-theory)
avg rating 4.29 — 52,808 ratings — published 1979
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)
by (shelved 1 time as type-theory)
avg rating 3.00 — 3 ratings — published 1991
Categories for Types (Cambridge Mathematical Textbooks)
by (shelved 1 time as type-theory)
avg rating 4.00 — 5 ratings — published 1994
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29)
by (shelved 1 time as type-theory)
avg rating 0.0 — 0 ratings — published 2004
Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 1 time as type-theory)
avg rating 4.14 — 29 ratings — published 2004
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by (shelved 1 time as type-theory)
avg rating 3.33 — 6 ratings — published 1986
Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar (Paperback)
by (shelved 1 time as type-theory)
avg rating 4.22 — 32 ratings — published 1982
More lists...
“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.”
―
―
