Bu türde 4 kitap
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