(2024). Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space. Logical Methods in Computer Science.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
"Equivalence of Eval-readback and Eval-apply Big-step Evaluators by Structuring the Lambda-calculus's Strategy Space."
Logical Methods in Computer Science 2024.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
"Equivalence of Eval-readback and Eval-apply Big-step Evaluators by Structuring the Lambda-calculus's Strategy Space."
Logical Methods in Computer Science, 2024.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.