Extensional constructs in intensional type theory
- ISBN
- 3540761217
Extensional constructs in intensional type theory, Martin Hofmann tarafından yazılmış bir type theory, functional programming book.
Martin Hofmann tarafından yazılan Extensional constructs in intensional type theory kitabını keşfedin, type theory.
Yazar Hakkında
Extensional constructs in intensional type theory kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da Martin Hofmann adlı yazarın diğer kitaplarını keşfedin. →Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
Extensional constructs in intensional type theory hangi türde?+
Extensional constructs in intensional type theory bir Type theory, Functional programming, Automatic theorem proving kitabıdır.
Extensional constructs in intensional type theory kitabını kim yazdı?+
Extensional constructs in intensional type theory, Martin Hofmann tarafından yazılmıştır.