Mat Homotopy Type Theory Books Categories

Mat Homotopy Type Theory Categories Books ListMat Homotopy Type Theory Books Categories

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

Algebraic Homotopy (Cambridge Studies in Advanced Mathematics, Series Number 15)

Algebraic Homotopy (Cambridge Studies in Advanced Mathematics, Series Number 15)

Algebraic Homotopy (Cambridge Studies in Advanced Mathematics, Series Number 15)

By: Hans Joachim Baues

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

By: Morten Heine B. Sørensen

Linear Logic in Computer Science (Kindle Edition)

Linear Logic in Computer Science (Kindle Edition)

Linear Logic in Computer Science (Kindle Edition)

By: Thomas Ehrhard

Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)

Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)

Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)

By: Jean-Yves Girard

Practical Foundations for Programming Languages (ebook)

Practical Foundations for Programming Languages (ebook)

Practical Foundations for Programming Languages (ebook)

By: Robert Harper

Intuitionistic Type Theory (Paperback)

Intuitionistic Type Theory (Paperback)

Intuitionistic Type Theory (Paperback)

By: Per Martin-Löf

Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)

Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)

Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)

By: Saunders Mac Lane

Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)

Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)

Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)

By: V. Stoltenberg-Hansen

Introduction to Metamathematics (Hardcover)

Introduction to Metamathematics (Hardcover)

Introduction to Metamathematics (Hardcover)

By: Stephen Cole Kleene

Basic Category Theory for Computer Scientists (Foundations of Computing)

Basic Category Theory for Computer Scientists (Foundations of Computing)

Basic Category Theory for Computer Scientists (Foundations of Computing)

By: Benjamin C. Pierce

EOM: 51 Handbk Categorcl Algebra v2 (Encyclopedia of Mathematics and its Applications) (Volume 0)

EOM: 51 Handbk Categorcl Algebra v2 (Encyclopedia of Mathematics and its Applications) (Volume 0)

EOM: 51 Handbk Categorcl Algebra v2 (Encyclopedia of Mathematics and its Applications) (Volume 0)

By: Francis Borceux

Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science, 76)

Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science, 76)

Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science, 76)

By: Giovanni Sommaruga

Towards Higher Categories (The IMA Volumes in Mathematics and its Applications, 152)

Towards Higher Categories (The IMA Volumes in Mathematics and its Applications, 152)

Towards Higher Categories (The IMA Volumes in Mathematics and its Applications, 152)

By: John C. Baez

Higher Operads, Higher Categories (London Mathematical Society Lecture Note Series, Series Number 298) (Volume 0)

Higher Operads, Higher Categories (London Mathematical Society Lecture Note Series, Series Number 298) (Volume 0)

Higher Operads, Higher Categories (London Mathematical Society Lecture Note Series, Series Number 298) (Volume 0)

By: Tom Leinster

Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)

Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)

Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)

By: Paul Taylor

Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

By: Davide Sangiorgi

Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies, 32)

Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies, 32)

Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies, 32)

By: Ralf Krömer

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

By: U. Kohlenbach

Linear Logic (Unknown Binding)

Linear Logic (Unknown Binding)

Linear Logic (Unknown Binding)

By: Jean-Yves Girard

The Curry-Howard isomorphism (Cahiers du Centre de logique)

The Curry-Howard isomorphism (Cahiers du Centre de logique)

The Curry-Howard isomorphism (Cahiers du Centre de logique)

By: CAHIERS DU CENTRE LO

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

By: Iman Hafiz Poernomo

Homotopy Type Theory (ebook)

Homotopy Type Theory (ebook)

Homotopy Type Theory (ebook)

By: The Univalent Foundations Program

Physics, Topology, Logic and Computation: A Rosetta Stone (ebook)

Physics, Topology, Logic and Computation: A Rosetta Stone (ebook)

Physics, Topology, Logic and Computation: A Rosetta Stone (ebook)

By: John C. Baez

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

By: Anne S. Troelstra

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)

By: Anne S. Troelstra

Introduction to Bisimulation and Coinduction (Hardcover)

Introduction to Bisimulation and Coinduction (Hardcover)

Introduction to Bisimulation and Coinduction (Hardcover)

By: Davide Sangiorgi

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

Types and Programming Languages (Mit Press)

Types and Programming Languages (Mit Press)

Types and Programming Languages (Mit Press)

By: Benjamin C. Pierce

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

Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications, Series Number 50)

Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications, Series Number 50)

Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications, Series Number 50)

By: Francis Borceux

Operads in Algebra, Topology and Physics (Mathematical Surveys and Monographs, 96)

Operads in Algebra, Topology and Physics (Mathematical Surveys and Monographs, 96)

Operads in Algebra, Topology and Physics (Mathematical Surveys and Monographs, 96)

By: Martin Markl

Constructive Analysis (Hardcover)

Constructive Analysis (Hardcover)

Constructive Analysis (Hardcover)

By: Errett Bishop