Pickbooks

Type Theory Books Categories

Type Theory Categories Books ListType Theory Books Categories

Types and Programming Languages (Mit Press)

Types and Programming Languages (Mit Press)

Types and Programming Languages (Mit Press)

By: Benjamin C. Pierce

The Little Typer (Mit Press)

The Little Typer (Mit Press)

The Little Typer (Mit Press)

By: Daniel P. Friedman

Type Theory and Formal Proof: An Introduction (Hardcover)

Type Theory and Formal Proof: An Introduction (Hardcover)

Type Theory and Formal Proof: An Introduction (Hardcover)

By: Rob Nederpelt

Homotopy Type Theory (ebook)

Homotopy Type Theory (ebook)

Homotopy Type Theory (ebook)

By: The Univalent Foundations Program

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)

By: Jean-Yves Girard

Advanced Topics in Types and Programming Languages (Hardcover)

Advanced Topics in Types and Programming Languages (Hardcover)

Advanced Topics in Types and Programming Languages (Hardcover)

By: Benjamin C. Pierce

Practical Foundations for Programming Languages (ebook)

Practical Foundations for Programming Languages (ebook)

Practical Foundations for Programming Languages (ebook)

By: Robert Harper

Type Theory and Functional Programming (International Computer Science Series)

Type Theory and Functional Programming (International Computer Science Series)

Type Theory and Functional Programming (International Computer Science Series)

By: Simon Thompson

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)

By: Johan Georg Granström

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

By: Bart Jacobs

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

By: Bengt Nordström

History and Philosophy of Constructive Type Theory (Synthese Library)

History and Philosophy of Constructive Type Theory (Synthese Library)

History and Philosophy of Constructive Type Theory (Synthese Library)

By: Giovanni Sommaruga

Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

By: Henk Barendregt

Type-Driven Development with Idris (Paperback)

Type-Driven Development with Idris (Paperback)

Type-Driven Development with Idris (Paperback)

By: Edwin Brady

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

By: J. Roger Hindley

Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

By: Zhaohui Luo

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

By: Adam Chlipala

Software Foundations (ebook)

Software Foundations (ebook)

Software Foundations (ebook)

By: Benjamin C. Pierce

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Paperback)

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Paperback)

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Paperback)

By: Boro Sitnikovski

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)

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)

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: Peter Dybjer

Functional Design and Architecture (Early Edition, 2020)

Functional Design and Architecture (Early Edition, 2020)

Functional Design and Architecture (Early Edition, 2020)

By: Alexander Granin

Formal Semantics in Modern Type Theories (Hardcover)

Formal Semantics in Modern Type Theories (Hardcover)

Formal Semantics in Modern Type Theories (Hardcover)

By: Stergios Chatzikyriakidis

Namely, Painless: A unifying approach to safe programming with first-order syntax with binders (Paperback)

Namely, Painless: A unifying approach to safe programming with first-order syntax with binders (Paperback)

Namely, Painless: A unifying approach to safe programming with first-order syntax with binders (Paperback)

By: Nicolas Pouillard

Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory (Paperback)

Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory (Paperback)

Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory (Paperback)

By: Eric Schmid

Intuitionistic Type Theory (Paperback)

Intuitionistic Type Theory (Paperback)

Intuitionistic Type Theory (Paperback)

By: Per Martin-Löf

Irrelevance, Polymorphism, and Erasure in Type Theory (ebook)

Irrelevance, Polymorphism, and Erasure in Type Theory (ebook)

Irrelevance, Polymorphism, and Erasure in Type Theory (ebook)

By: Richard Nathan Mishra-Linger

Functional and Concurrent Programming: Core Concepts and Features (Paperback)

Functional and Concurrent Programming: Core Concepts and Features (Paperback)

Functional and Concurrent Programming: Core Concepts and Features (Paperback)

By: Michel Charpentier

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

By: Dag Prawitz

Large-Scale C++ Volume I: Process and Architecture (ebook)

Large-Scale C++ Volume I: Process and Architecture (ebook)

Large-Scale C++ Volume I: Process and Architecture (ebook)

By: John S. Lakos

Thinking with Types. Type-Level Programming in Haskell (ebook)

Thinking with Types. Type-Level Programming in Haskell (ebook)

Thinking with Types. Type-Level Programming in Haskell (ebook)

By: Sandy Maguire

Purely Functional Data Structures (Volume 0)

Purely Functional Data Structures (Volume 0)

Purely Functional Data Structures (Volume 0)

By: Chris Okasaki

Verified Functional Programming in Agda (ebook)

Verified Functional Programming in Agda (ebook)

Verified Functional Programming in Agda (ebook)

By: Aaron Stump

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

By: Henk Barendregt

Programming in Haskell (Paperback)

Programming in Haskell (Paperback)

Programming in Haskell (Paperback)

By: Graham Hutton

Structure and Interpretation of Computer Programs (Paperback)

Structure and Interpretation of Computer Programs (Paperback)

Structure and Interpretation of Computer Programs (Paperback)

By: Harold Abelson

Gödel, Escher, Bach: An Eternal Golden Braid (Paperback)

Gödel, Escher, Bach: An Eternal Golden Braid (Paperback)

Gödel, Escher, Bach: An Eternal Golden Braid (Paperback)

By: Douglas R. Hofstadter

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)

By: Andrea Asperti

Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)

Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)

Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)

By: Roy L. Crole

A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29)

A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29)

A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29)

By: F.D. Kamareddine

Interactive Theorem Proving and Program Development (Hardcover)

Interactive Theorem Proving and Program Development (Hardcover)

Interactive Theorem Proving and Program Development (Hardcover)

By: Yves Bertot

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

By: Peter B. Andrews

Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar (Paperback)

Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar (Paperback)

Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar (Paperback)

By: L.T.F. Gamut