4 livres dans ce genre
History and philosophy of constructive type theory
Giovanni Sommaruga
Models of sharing graphs
Masahito Hasegawa
Extensional constructs in intensional type theory
Martin Hofmann
Proofs and types
Jean-Yves Girard
