Roberto DiCosmo – författare
Visar alla böcker från författaren Roberto DiCosmo. Handla med fri frakt och snabb leverans.
2 produkter
Isomorphisms of Types
from ?-calculus to information retrieval and language design
E-bok, 2012
718 kr
Lägg i varukorg
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. By means of a deep study of …
Isomorphisms of Types
from ?-calculus to information retrieval and language design
Häftad, 2011
545 kr
Lägg i varukorg
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. By means of a deep study of …
