type theory Books
5 books in this genre
History and philosophy of constructive type theory
Giovanni Sommaruga
No ratings
Gentle Introduction to Dependent Types with Idris
No ratings
Models of sharing graphs
Masahito Hasegawa
No ratings
Extensional constructs in intensional type theory
Martin Hofmann
No ratings
Proofs and types
Jean-Yves Girard
No ratings