Relating the - and s-styles of explicit substitutions

DOI10.1093/logcom/10.3.349zbMath0953.03013OpenAlexW2067024462MaRDI QIDQ4500175

Alejandro Ríos, Fairouz Kamareddine

Publication date: 4 September 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/10.3.349

zbMATH Keywords

\(\lambda\)-calculusexplicit substitutions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Unnamed Item ⋮ Comparing Calculi of Explicit Substitutions with Eta-reduction ⋮ Explicit Substitutions à la de Bruijn ⋮ A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction ⋮ SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★

Uses Software

• ALF

This page was built for publication: Relating the   - and  s-styles of explicit substitutions