Bridging de Bruijn indices and variable names in explicit substitutions calculi

DOI10.1093/jigpal/6.6.843zbMath0914.03019OpenAlexW2061015433MaRDI QIDQ4222186

Alejandro Ríos, Fairouz Kamareddine

Publication date: 21 June 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/34f85e0f747a1b5c758a94769c6ce6b61f4358f5

zbMATH Keywords

lambda calculusexplicit substitutionsde Bruijn indicesvariable names

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Explicit Substitutions à la de Bruijn ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction

This page was built for publication: Bridging de Bruijn indices and variable names in explicit substitutions calculi