Livres de type theory
5 livres dans ce genre

History and philosophy of constructive type theory
Giovanni Sommaruga
Pas de note

Gentle Introduction to Dependent Types with Idris
Pas de note

Models of sharing graphs
Masahito Hasegawa
Pas de note

Extensional constructs in intensional type theory
Martin Hofmann
Pas de note

Proofs and types
Jean-Yves Girard
Pas de note