type theory Kitapları
Bu türde 5 kitap
History and philosophy of constructive type theory
Giovanni Sommaruga
Değerlendirme yok
Gentle Introduction to Dependent Types with Idris
Değerlendirme yok
Models of sharing graphs
Masahito Hasegawa
Değerlendirme yok
Extensional constructs in intensional type theory
Martin Hofmann
Değerlendirme yok
Proofs and types
Jean-Yves Girard
Değerlendirme yok