• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Some Lambda Calculus and Type Theory Formalized.

James McKinnaRobert Pollack
Published in: J. Autom. Reason. (1999)
Keyphrases
  • lambda calculus
  • database query languages
  • predicate calculus
  • artificial intelligence
  • higher order
  • programming language
  • knowledge representation