Siirry suoraan sisältöön
Isomorphisms of Types
Tallenna

Isomorphisms of Types

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human­ centered information retrieval in software libraries.
Alaotsikko
From ?-calculus to information retrieval and language design
Kirjailija
Roberto DiCosmo
Painos
Softcover reprint of the original 1st ed. 1995
ISBN
9781461275855
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
16.9.2011
Sivumäärä
235