A. Ríos

Available identifiers

zbMath Open rios.alejandroMaRDI QIDQ683743

List of research outcomes

Publication	Date of Publication	Type
Nambu-covariant many-body theory. II: Self-consistent approximations	2024-09-10	Paper
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
Relating Higher-order and First-order Rewriting	2006-02-21	Paper
de Bruijn Indices for Metaterms	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

This page was built for person: A. Ríos