Sign in

Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.

Kazunori Ueda
Published in: RTA (2008)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • databases
  • database
  • natural language processing
  • higher order
  • program understanding