1 - 2 of 2 results for "Roberto Dicosmo"

Title: Isomorphisms of Types: from ?-calculus to information retrieval and language design, Author: Roberto DiCosmo
Title: Isomorphisms of Types: from delta-calculus to information retrieval and language design, Author: Roberto DiCosmo