Alejandro Ríos

2007
17	EE	Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos: The Weak Normalization of the Simply Typed lambda-se-calculus. Logic Journal of the IGPL 15(2): 121-147 (2007)
2006
16	EE	Ariel Arbiser, Alexandre Miquel, Alejandro Ríos: A Lambda-Calculus with Constructors. RTA 2006: 181-196
2005
15	EE	Eduardo Bonelli, Delia Kesner, Alejandro Ríos: de Bruijn Indices for Metaterms. J. Log. Comput. 15(6): 855-899 (2005)
14	EE	Eduardo Bonelli, Delia Kesner, Alejandro Ríos: Relating Higher-order and First-order Rewriting. J. Log. Comput. 15(6): 901-947 (2005)
2003
13	EE	Fairouz Kamareddine, Alejandro Ríos: Explicit substitutions à la de Bruijn: the local and global way. Electr. Notes Theor. Comput. Sci. 85(7): (2003)
2002
12	EE	Fairouz Kamareddine, Alejandro Ríos: Pure Type Systems with de Bruijn Indices. Comput. J. 45(2): 187-201 (2002)
2001
11	EE	Eduardo Bonelli, Delia Kesner, Alejandro Ríos: From Higher-Order to First-Order Rewriting. RTA 2001: 47-62
2000
10		Eduardo Bonelli, Delia Kesner, Alejandro Ríos: A de Bruijn Notation for Higher-Order Rewriting. RTA 2000: 62-79
9		Fairouz Kamareddine, Alejandro Ríos: Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions. J. Log. Comput. 10(3): 349-380 (2000)
1998
8		Fairouz Kamareddine, Alejandro Ríos, J. B. Wells: Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. Journal of Functional and Logic Programming 1998(5): (1998)
7	EE	Fairouz Kamareddine, Alejandro Ríos: Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. Logic Journal of the IGPL 6(6): 843-874 (1998)
1997
6		Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos: Explicit Substitutions for the Lambda-Calculus. ALP/HOA 1997: 209-223
5		Fairouz Kamareddine, Alejandro Ríos: Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. J. Funct. Program. 7(4): 395-420 (1997)
1996
4		Fairouz Kamareddine, Alejandro Ríos: Generalized beta-Reduction and Explicit Substitution. PLILP 1996: 378-392
3		Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos: Strong Normalizations of Substitutions. J. Log. Comput. 6(6): 799-817 (1996)
1995
2		Fairouz Kamareddine, Alejandro Ríos: A Lambda-Calculus `a la de Bruijn with Explicit Substitutions PLILP 1995: 45-62
1992
1		Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos: Strong Normalization of Substitutions. MFCS 1992: 209-217

Coauthor Index

1	Ariel Arbiser	[16] [17]
2	Gilles Barthe	[6]
3	Eduardo Bonelli	[10] [11] [14] [15]
4	Pierre-Louis Curien	[1] [3]
5	Thérèse Hardin	[1] [3]
6	Fairouz Kamareddine	[2] [4] [5] [6] [7] [8] [9] [12] [13] [17]
7	Delia Kesner	[10] [11] [14] [15]
8	Alexandre Miquel	[16]
9	J. B. Wells	[8]

Colors in the list of coauthors