BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nogueira:Pablo

Contributed to:

PEPM 20142014
PEPM 20132013
PEPM 20132014
PPDP 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.