Libros de type theory
5 libros en este género
History and philosophy of constructive type theory
Giovanni Sommaruga
Sin valoración
Gentle Introduction to Dependent Types with Idris
Sin valoración
Models of sharing graphs
Masahito Hasegawa
Sin valoración
Extensional constructs in intensional type theory
Martin Hofmann
Sin valoración
Proofs and types
Jean-Yves Girard
Sin valoración