The following pages link to Alejandro Ríos (Q683743):
Displaying 27 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Call-by-need, neededness and all that (Q1652986) (← links)
- Projections for infinitary rewriting (Q1744449) (← links)
- The bang calculus revisited (Q2039931) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- (Q2723891) (← links)
- (Q2778870) (← links)
- Strong normalization of substitutions (Q2785671) (← links)
- de Bruijn Indices for Metaterms (Q3371148) (← links)
- Relating Higher-order and First-order Rewriting (Q3371149) (← links)
- A Lambda-Calculus with Constructors (Q3527294) (← links)
- The λ-calculus with constructors: Syntax, confluence and separation (Q3644936) (← links)
- Bridging de Bruijn indices and variable names in explicit substitutions calculi (Q4222186) (← links)
- (Q4259970) (← links)
- Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms (Q4360125) (← links)
- (Q4364376) (← links)
- Relating the - and s-styles of explicit substitutions (Q4500175) (← links)
- Pure Type Systems with de Bruijn Indices (Q4542807) (← links)
- Explicit Substitutions à la de Bruijn (Q4924548) (← links)
- Strong normalization of substitutions (Q5096832) (← links)
- (Q5111900) (← links)
- Proof Terms for Infinitary Rewriting (Q5170824) (← links)
- The Weak Normalization of the Simply Typed se-calculus (Q5435199) (← links)
- (Q5748888) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Nambu-covariant many-body theory. II: Self-consistent approximations (Q6601255) (← links)
