2 papers
cs.LO2022
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Pablo Nogueira, Álvaro García-Pérez
We study the equivalence between eval-readback and eval-apply big-step evaluators in the general setting of the pure lambda calculus. We study `one-step' equivalence (same strategy…
cs.LO2016
No solvable lambda-value term left behind
Á. García-Pérez, P. Nogueira
In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable…