Libros de type theory

4 libros en este género

History and philosophy of constructive type theory by Giovanni Sommaruga - Book Cover

History and philosophy of constructive type theory

Giovanni Sommaruga

Sin valoración

Models of sharing graphs by Masahito Hasegawa - Book Cover

Models of sharing graphs

Masahito Hasegawa

Sin valoración

Extensional constructs in intensional type theory by Martin Hofmann - Book Cover

Extensional constructs in intensional type theory

Martin Hofmann

Sin valoración

Proofs and types by Jean-Yves Girard - Book Cover

Proofs and types

Jean-Yves Girard

Sin valoración