Login / Signup

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq.

Manfred Schmidt-SchaußDavid SabelElena Machkasova
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases
  • lambda calculus
  • predicate calculus
  • artificial intelligence
  • higher order
  • expert systems
  • programming language
  • description logics
  • formal model
  • database query languages