Login / Signup

A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction is Optimal.

John Staples
Published in: Graph-Grammars and Their Application to Computer Science and Biology (1978)
Keyphrases
  • lambda calculus
  • program understanding
  • knowledge base
  • database systems
  • object oriented
  • natural language processing
  • programming language
  • structured data
  • predicate calculus