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
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 235
