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