dblp.uni-trier.dewww.uni-trier.de

Alejandro Ríos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
17EEAriel 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
16EEAriel Arbiser, Alexandre Miquel, Alejandro Ríos: A Lambda-Calculus with Constructors. RTA 2006: 181-196
2005
15EEEduardo Bonelli, Delia Kesner, Alejandro Ríos: de Bruijn Indices for Metaterms. J. Log. Comput. 15(6): 855-899 (2005)
14EEEduardo Bonelli, Delia Kesner, Alejandro Ríos: Relating Higher-order and First-order Rewriting. J. Log. Comput. 15(6): 901-947 (2005)
2003
13EEFairouz Kamareddine, Alejandro Ríos: Explicit substitutions à la de Bruijn: the local and global way. Electr. Notes Theor. Comput. Sci. 85(7): (2003)
2002
12EEFairouz Kamareddine, Alejandro Ríos: Pure Type Systems with de Bruijn Indices. Comput. J. 45(2): 187-201 (2002)
2001
11EEEduardo 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)
7EEFairouz 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)