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