Login / Signup
Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995).
Christopher League
Published in:
SIGACT News (1997)
Keyphrases
</>
information extraction
information retrieval
lambda calculus
natural language
natural language processing
programming language
case study
computational linguistics
design process
software engineering
conceptual model
predicate calculus