Search the dblp DataBase
Alejandro Ríos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
Explicit Substitutions for the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
ALP/HOA, 1997, pp:209-223 [Conf] - Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
Strong Normalization of Substitutions. [Citation Graph (0, 0)][DBLP]
MFCS, 1992, pp:209-217 [Conf] - Fairouz Kamareddine, Alejandro Ríos
A Lambda-Calculus `a la de Bruijn with Explicit Substitutions [Citation Graph (0, 0)][DBLP]
PLILP, 1995, pp:45-62 [Conf] - Fairouz Kamareddine, Alejandro Ríos
Generalized beta-Reduction and Explicit Substitution. [Citation Graph (0, 0)][DBLP]
PLILP, 1996, pp:378-392 [Conf] - Eduardo Bonelli, Delia Kesner, Alejandro Ríos
A de Bruijn Notation for Higher-Order Rewriting. [Citation Graph (0, 0)][DBLP]
RTA, 2000, pp:62-79 [Conf] - Eduardo Bonelli, Delia Kesner, Alejandro Ríos
From Higher-Order to First-Order Rewriting. [Citation Graph (0, 0)][DBLP]
RTA, 2001, pp:47-62 [Conf] - Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
A Lambda-Calculus with Constructors. [Citation Graph (0, 0)][DBLP]
RTA, 2006, pp:181-196 [Conf] - Fairouz Kamareddine, Alejandro Ríos
Pure Type Systems with de Bruijn Indices. [Citation Graph (0, 0)][DBLP]
Comput. J., 2002, v:45, n:2, pp:187-201 [Journal] - Fairouz Kamareddine, Alejandro Ríos
Explicit substitutions à la de Bruijn: the local and global way. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal] - Fairouz Kamareddine, Alejandro Ríos
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 1998, v:6, n:6, pp:843-874 [Journal] - Fairouz Kamareddine, Alejandro Ríos, J. B. Wells
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. [Citation Graph (0, 0)][DBLP]
Journal of Functional and Logic Programming, 1998, v:1998, n:5, pp:- [Journal] - Fairouz Kamareddine, Alejandro Ríos
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1997, v:7, n:4, pp:395-420 [Journal] - Eduardo Bonelli, Delia Kesner, Alejandro Ríos
de Bruijn Indices for Metaterms. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2005, v:15, n:6, pp:855-899 [Journal] - Eduardo Bonelli, Delia Kesner, Alejandro Ríos
Relating Higher-order and First-order Rewriting. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2005, v:15, n:6, pp:901-947 [Journal] - Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
Strong Normalizations of Substitutions. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1996, v:6, n:6, pp:799-817 [Journal] - Fairouz Kamareddine, Alejandro Ríos
Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2000, v:10, n:3, pp:349-380 [Journal] - Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos
The Weak Normalization of the Simply Typed lambda-se-calculus. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2007, v:15, n:2, pp:121-147 [Journal]
Search in 0.026secs, Finished in 0.027secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002