ask others

Álvaro García-Pérez

> Home > Persons

Other persons with a similar name

see FAQ

Why are some names followed by a four digit number?

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Garcia-PerezN16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/Garcia-PerezN16
Álvaro García-Pérez, Pablo Nogueira:
No solvable lambda-value term left behind. Logical Methods in Computer Science 12(2) (2016)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AcetoGI16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/AcetoGI16
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir:
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi 2016: 313-343
2014
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Garcia-PerezN14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/scp/Garcia-PerezN14
Álvaro García-Pérez, Pablo Nogueira:
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Sci. Comput. Program. 95: 176-199 (2014)
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/Garcia-PerezNS14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pepm/Garcia-PerezNS14
Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey:
Deriving interpretations of the gradually-typed lambda calculus. PEPM 2014: 157-168
2013
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/Garcia-PerezN13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pepm/Garcia-PerezN13
Álvaro García-Pérez, Pablo Nogueira:
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. PEPM 2013: 107-116
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/Garcia-PerezNM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ppdp/Garcia-PerezNM13
Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro:
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP 2013: 85-96

Coauthor Index

see FAQ

maintained by

at