Login / Signup

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction.

Tomasz Drab
Published in: CoRR (2024)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • high level