Alejandro Ríos

Available identifiers

zbMath Open rios.alejandroMaRDI QIDQ683743

List of research outcomes

Publication	Date of Publication	Type
The bang calculus revisited	2023-07-17	Paper
Strong normalization of substitutions	2022-08-18	Paper
The bang calculus revisited	2021-07-06	Paper
Pure pattern calculus à la de Bruijn	2021-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q5111900	2020-05-27	Paper
Projections for infinitary rewriting (extended version)	2019-06-25	Paper
Call-by-need, neededness and all that	2018-07-17	Paper
Projections for infinitary rewriting	2018-04-23	Paper
On abstract normalisation beyond neededness	2018-02-09	Paper
Proof Terms for Infinitary Rewriting	2014-07-24	Paper
Explicit Substitutions à la de Bruijn	2013-06-06	Paper
The λ-calculus with constructors: Syntax, confluence and separation	2009-11-13	Paper
A Lambda-Calculus with Constructors	2008-09-25	Paper
The Weak Normalization of the Simply Typed  se-calculus	2008-01-14	Paper
de Bruijn Indices for Metaterms	2006-02-21	Paper
Relating Higher-order and First-order Rewriting	2006-02-21	Paper
Pure Type Systems with de Bruijn Indices	2002-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q2778870	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723891	2001-07-08	Paper
Relating the   - and  s-styles of explicit substitutions	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4259970	1999-09-09	Paper
Bridging de Bruijn indices and variable names in explicit substitutions calculi	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4364376	1998-04-01	Paper
Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms	1998-03-12	Paper
Strong normalization of substitutions	1997-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5748888	1991-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alejandro Ríos