Contact
DMCA
Privacy Policy
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Mat Homotopy Type Theory Books Categories
home
Mat Homotopy Type Theory Books Categories
Mat Homotopy Type Theory Categories Books List
Mat Homotopy Type Theory Books Categories
View More
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
By:
Jean-Yves Girard
View More
Algebraic Homotopy (Cambridge Studies in Advanced Mathematics, Series Number 15)
By:
Hans Joachim Baues
View More
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
By:
Morten Heine B. Sørensen
View More
Linear Logic in Computer Science (Kindle Edition)
By:
Thomas Ehrhard
View More
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
By:
Jean-Yves Girard
View More
Practical Foundations for Programming Languages (ebook)
By:
Robert Harper
View More
Intuitionistic Type Theory (Paperback)
By:
Per Martin-Löf
View More
Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)
By:
Saunders Mac Lane
View More
Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)
By:
V. Stoltenberg-Hansen
View More
Introduction to Metamathematics (Hardcover)
By:
Stephen Cole Kleene
View More
Basic Category Theory for Computer Scientists (Foundations of Computing)
By:
Benjamin C. Pierce
View More
EOM: 51 Handbk Categorcl Algebra v2 (Encyclopedia of Mathematics and its Applications) (Volume 0)
By:
Francis Borceux
View More
Foundational Theories of Classical and Constructive Mathematics (The Western Ontario Series in Philosophy of Science, 76)
By:
Giovanni Sommaruga
View More
Towards Higher Categories (The IMA Volumes in Mathematics and its Applications, 152)
By:
John C. Baez
View More
Higher Operads, Higher Categories (London Mathematical Society Lecture Note Series, Series Number 298) (Volume 0)
By:
Tom Leinster
View More
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
By:
Paul Taylor
View More
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
By:
Davide Sangiorgi
View More
Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies, 32)
By:
Ralf Krömer
View More
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
By:
U. Kohlenbach
View More
Linear Logic (Unknown Binding)
By:
Jean-Yves Girard
View More
The Curry-Howard isomorphism (Cahiers du Centre de logique)
By:
CAHIERS DU CENTRE LO
View More
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
By:
Iman Hafiz Poernomo
View More
Homotopy Type Theory (ebook)
By:
The Univalent Foundations Program
View More
Physics, Topology, Logic and Computation: A Rosetta Stone (ebook)
By:
John C. Baez
View More
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
By:
Anne S. Troelstra
View More
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
By:
Anne S. Troelstra
View More
Introduction to Bisimulation and Coinduction (Hardcover)
By:
Davide Sangiorgi
View More
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
By:
Bengt Nordström
View More
Types and Programming Languages (Mit Press)
By:
Benjamin C. Pierce
View More
Type Theory and Functional Programming (International Computer Science Series)
By:
Simon Thompson
View More
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications, Series Number 50)
By:
Francis Borceux
View More
Operads in Algebra, Topology and Physics (Mathematical Surveys and Monographs, 96)
By:
Martin Markl
View More
Constructive Analysis (Hardcover)
By:
Errett Bishop