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: R=iacute=os:Alejandro
Contributed to:
20142012200620012000
199719961995Wrote 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.
- PLILP-1996-KamareddineR
- 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.