Login / Signup

Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space.

Pablo NogueiraÁlvaro García-Pérez
Published in: CoRR (2022)
Keyphrases
  • software systems
  • lambda calculus
  • predicate calculus
  • databases
  • higher order
  • programming language
  • artificial intelligence
  • expert systems
  • knowledge representation
  • general purpose
  • data management