Travelled to:1 × Italy
1 × Spain
1 × USA
Collaborated with:Á.García-Pérez I.Sergey J.J.Moreno-Navarro
Talks about:correspond (2) normalis (2) function (2) syntact (2) between (2) semant (2) reduct (2) machin (2) deriv (2) full (2)
Person: Pablo Nogueira
DBLP: Nogueira:Pablo
Contributed to:
201420132014
2013Wrote 4 papers:
- PEPM-2014-Garcia-PerezNS #λ-calculus
- Deriving interpretations of the gradually-typed λ calculus (ÁGP, PN, IS), pp. 157–168.
- PEPM-2013-Garcia-PerezN #functional #reduction #semantics
- A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
- PEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the
- On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
- PPDP-2013-Garcia-PerezNM #order #semantics
- Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.