Login / Signup

Simulation in the Call-by-Need Lambda-Calculus with letrec.

Manfred Schmidt-SchaußDavid SabelElena Machkasova
Published in: RTA (2010)
Keyphrases
  • lambda calculus
  • programming language
  • open source
  • predicate calculus
  • database query languages
  • natural language
  • theorem proving