Libri di type theory
5 libri in questo genere
History and philosophy of constructive type theory
Giovanni Sommaruga
Nessuna valutazione
Gentle Introduction to Dependent Types with Idris
Nessuna valutazione
Models of sharing graphs
Masahito Hasegawa
Nessuna valutazione
Extensional constructs in intensional type theory
Martin Hofmann
Nessuna valutazione
Proofs and types
Jean-Yves Girard
Nessuna valutazione