Lambda Calculus, Type Theory, and Natural Language II.

Chris Fox Maribel Fernández Shalom Lappin

Published in: J. Log. Comput. (2008)

Keyphrases

lambda calculus
natural language
database query languages
knowledge representation
machine learning
artificial intelligence
natural language processing
programming language
software development
incomplete information
complex objects
temporal logic