Isomorphisms of Types from ?-calculus to information retrieval and language design / by Roberto DiCosmo.
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 th...
Full description
Saved in: