Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science 2015 · ENGLISH · PDF View details →
Isomorphisms of Types: from λ-calculus to information retrieval and language design 1995 · ENGLISH · DJVU View details →
Isomorphisms of Types: from λ-calculus to information retrieval and language design 1995 · ENGLISH · PDF View details →
