7 citations · 22 across the 9 of their papers we have counts for
5 papers · 1 filter
A unified rule format for bounded nondeterminism in SOS with terms as labels
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +1
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterm…
Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +2
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition syst…
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…
Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +2
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition syst…
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…