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 × Austria
1 × Germany
1 × Japan
1 × USA
2 × The Netherlands
2 × United Kingdom
Collaborated with:
F.Kamareddine E.Bonelli D.Kesner C.Lombardi R.d.Vrijer A.Arbiser A.Miquel G.Barthe
Talks about:
substitut (3) explicit (3) calculus (3) rewrit (3) order (3) higher (2) bruijn (2) constructor (1) infinitari (1) normalis (1)

Person: Alejandro Ríos

DBLP DBLP: R=iacute=os:Alejandro

Contributed to:

RTA-TLCA 20142014
RTA 20122012
RTA 20062006
RTA 20012001
RTA 20002000
ALP/HOA 19971997
PLILP 19961996
PPDP 19951995

Wrote 8 papers:

RTA-TLCA-2014-LombardiRV #proving
Proof Terms for Infinitary Rewriting (CL, AR, RdV), pp. 303–318.
RTA-2012-BonelliKLR #calculus #normalisation
Normalisation for Dynamic Pattern Calculi (EB, DK, CL, AR), pp. 117–132.
RTA-2006-ArbiserMR #λ-calculus
A λ-Calculus with Constructors (AA, AM, AR), pp. 181–196.
RTA-2001-BonelliKR #first-order #higher-order
From Higher-Order to First-Order Rewriting (EB, DK, AR), pp. 47–62.
RTA-2000-BonelliKR #higher-order
A de Bruijn Notation for Higher-Order Rewriting (EB, DK, AR), pp. 62–79.
ALP-1997-BartheKR #λ-calculus
Explicit Substitutions for the λ-Calculus (GB, FK, AR), pp. 209–223.
Generalized β-Reduction and Explicit Substitution (FK, AR), pp. 378–392.
PLILP-1995-KamareddineR #λ-calculus
A λ-calculus à la de Bruijn with Explicit Substitutions (FK, AR), pp. 45–62.

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.