Some Lambda Calculus and Type Theory Formalized.

James McKinna Robert Pollack

Published in: J. Autom. Reason. (1999)

Keyphrases

lambda calculus
database query languages
predicate calculus
artificial intelligence
higher order
programming language
knowledge representation