×
Compute Distance To:
Author ID: rios.alejandro Recent zbMATH articles by "Ríos, Alejandro"
Published as: Ríos, Alejandro; Rios, Alejandro; Ríos, A.; Rìos, Alejandro
Documents Indexed: 26 Publications since 1991
Co-Authors: 14 Co-Authors with 25 Joint Publications
287 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 51 times in 36 Documents Cited by Year
Extending a \(\lambda\)-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms. Zbl 0882.03011
Kamareddine, Fairouz; Ríos, Alejandro
10
1997
Relating the \(\lambda\sigma\)- and \(\lambda s\)-styles of explicit substitutions. Zbl 0953.03013
Kamareddine, Fairouz; Rìos, Alejandro
6
2000
The \(\lambda \)-calculus with constructors: syntax, confluence and separation. Zbl 1191.68155
Arbiser, Ariel; Miquel, Alexandre; Ríos, Alejandro
5
2009
The bang calculus revisited. Zbl 07368082
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés
4
2020
Call-by-need, neededness and all that. Zbl 06904539
Kesner, Delia; Ríos, Alejandro; Viso, Andrés
3
2018
A de Bruijn notation for higher-order rewriting. (Extended abstract). Zbl 0964.68520
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
3
2000
Strong normalization of substitutions. Zbl 0873.03016
Curien, P.-L.; Hardin, T.; Ríos, A.
3
1996
Explicit substitutions à la de Bruijn: the local and global way. Zbl 1264.03044
Kamareddine, Fairouz; Ríos, Alejandro
3
2003
Proof terms for infinitary rewriting. Zbl 1394.68200
Lombardi, Carlos; Ríos, Alejandro; de Vrijer, Roel
3
2014
Bridging de Bruijn indices and variable names in explicit substitutions calculi. Zbl 0914.03019
Kamareddine, Fairouz; Ríos, Alejandro
2
1998
Projections for infinitary rewriting. Zbl 1394.68201
Lombardi, Carlos; Ríos, Alejandro; de Vrijer, Roel
2
2017
From higher-order to first-order rewriting (extended abstract). Zbl 0981.68503
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
2
2001
On abstract normalisation beyond neededness. Zbl 1387.68143
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro
1
2017
Un résultat de complétude pour les substitutions explicites. (A completeness result for explicit substitutions). Zbl 0717.68053
Curien, Pierre-Louis; Ríos, Alejandro
1
1991
de Bruijn indices for metaterms. Zbl 1085.68074
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
Relating higher-order and first-order rewriting. Zbl 1085.68075
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
Normalisation for dynamic pattern calculi. Zbl 1437.68040
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Rios, Alejandro
1
2012
The bang calculus revisited. Zbl 07368082
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés
4
2020
Call-by-need, neededness and all that. Zbl 06904539
Kesner, Delia; Ríos, Alejandro; Viso, Andrés
3
2018
Projections for infinitary rewriting. Zbl 1394.68201
Lombardi, Carlos; Ríos, Alejandro; de Vrijer, Roel
2
2017
On abstract normalisation beyond neededness. Zbl 1387.68143
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro
1
2017
Proof terms for infinitary rewriting. Zbl 1394.68200
Lombardi, Carlos; Ríos, Alejandro; de Vrijer, Roel
3
2014
Normalisation for dynamic pattern calculi. Zbl 1437.68040
Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Rios, Alejandro
1
2012
The \(\lambda \)-calculus with constructors: syntax, confluence and separation. Zbl 1191.68155
Arbiser, Ariel; Miquel, Alexandre; Ríos, Alejandro
5
2009
de Bruijn indices for metaterms. Zbl 1085.68074
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
Relating higher-order and first-order rewriting. Zbl 1085.68075
Bonelli, Eduardo; Kesner, Delia; Rios, Alejandro
1
2005
Explicit substitutions à la de Bruijn: the local and global way. Zbl 1264.03044
Kamareddine, Fairouz; Ríos, Alejandro
3
2003
From higher-order to first-order rewriting (extended abstract). Zbl 0981.68503
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
2
2001
Relating the \(\lambda\sigma\)- and \(\lambda s\)-styles of explicit substitutions. Zbl 0953.03013
Kamareddine, Fairouz; Rìos, Alejandro
6
2000
A de Bruijn notation for higher-order rewriting. (Extended abstract). Zbl 0964.68520
Bonelli, Eduardo; Kesner, Delia; Ríos, Alejandro
3
2000
Bridging de Bruijn indices and variable names in explicit substitutions calculi. Zbl 0914.03019
Kamareddine, Fairouz; Ríos, Alejandro
2
1998
Extending a \(\lambda\)-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms. Zbl 0882.03011
Kamareddine, Fairouz; Ríos, Alejandro
10
1997
Strong normalization of substitutions. Zbl 0873.03016
Curien, P.-L.; Hardin, T.; Ríos, A.
3
1996
Un résultat de complétude pour les substitutions explicites. (A completeness result for explicit substitutions). Zbl 0717.68053
Curien, Pierre-Louis; Ríos, Alejandro
1
1991

Citations by Year