Álvaro García-Pérez
发表
Alexey Gotsman,
Álvaro García-Pérez,
Yuri Meshman,
2018,
ArXiv.
Pablo Nogueira,
Álvaro García-Pérez,
Á. García-Pérez,
2019,
Journal of Functional Programming.
Ilya Sergey,
Pablo Nogueira,
Álvaro García-Pérez,
2014,
PEPM '14.
Nelson Medinilla,
Álvaro García-Pérez,
2007
.
Luca Aceto,
Anna Ingólfsdóttir,
Álvaro García-Pérez,
2016,
Semantics, Logics, and Calculi.
Luca Aceto,
Anna Ingólfsdóttir,
Ignacio Fábregas,
2017,
CONCUR.
Álvaro García-Pérez,
Maria Aanna Schett,
2019,
ArXiv.
Alexey Gotsman,
Álvaro García-Pérez,
2018,
OPODIS.
Alexey Gotsman,
Ilya Sergey,
Álvaro García-Pérez,
2018,
ESOP.
Luca Aceto,
Anna Ingólfsdóttir,
Ignacio Fábregas,
2017,
J. Log. Algebraic Methods Program..
Pablo Nogueira,
Álvaro García-Pérez,
Á. García-Pérez,
2016,
Log. Methods Comput. Sci..
Álvaro García-Pérez,
Maria Anna Schett,
2019,
OPODIS.
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order
Juan José Moreno-Navarro,
Pablo Nogueira,
Álvaro García-Pérez,
2013,
PPDP.
Pablo Nogueira,
Álvaro García-Pérez,
Á. García-Pérez,
2013,
PEPM '13.
Alexey Gotsman,
Álvaro García-Pérez,
2018,
ArXiv.
Pablo Nogueira,
Álvaro García-Pérez,
Á. García-Pérez,
2014,
Sci. Comput. Program..
Silvia Bonomi,
Sara Tucci Piergiovanni,
Antonella del Pozzo,
2021,
ArXiv.
Álvaro García-Pérez,
Á. García-Pérez,
2014
.