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