Álvaro García-Pérez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space Logical Methods in Computer Science	2025-01-31	Paper
scientific article; zbMATH DE number 7650855 (Why is no real title available?) (available as arXiv preprint)	2023-02-07	Paper
scientific article; zbMATH DE number 7561445 (Why is no real title available?) (available as arXiv preprint)	2022-07-21	Paper
Rule formats for nominal process calculi (available as arXiv preprint)	2020-05-27	Paper
Rule formats for nominal process calculi (available as arXiv preprint)	2019-11-26	Paper
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus Journal of Functional Programming	2019-11-22	Paper
Paxos consensus, deconstructed and abstracted (available as arXiv preprint)	2019-09-13	Paper
A unified rule format for bounded nondeterminism in SOS with terms as labels Journal of Logical and Algebraic Methods in Programming	2017-09-12	Paper
No solvable lambda-value term left behind Logical Methods in Computer Science	2016-07-06	Paper
Rule formats for bounded nondeterminism in structural operational semantics Semantics, Logics, and Calculi	2016-03-23	Paper

Research outcomes over time

This page was built for person: Álvaro García-Pérez