Skip to main content

type theory Kitapları

Bu türde 4 kitap

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

History and philosophy of constructive type theory

Giovanni Sommaruga

Değerlendirme yok
Models of sharing graphs by Masahito Hasegawa - Book Cover

Models of sharing graphs

Masahito Hasegawa

Değerlendirme yok
Extensional constructs in intensional type theory by Martin Hofmann - Book Cover

Extensional constructs in intensional type theory

Martin Hofmann

Değerlendirme yok
Proofs and types by Jean-Yves Girard - Book Cover

Proofs and types

Jean-Yves Girard

Değerlendirme yok