C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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