Stable results and relative normalization

DOI10.1093/logcom/10.3.323zbMath0966.68090OpenAlexW1990549399MaRDI QIDQ4500174

John Glauert, Richard Kennaway, Zurab Khasidashvili

Publication date: 16 August 2001

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.323

zbMATH Keywords

orthogonal expression reduction systems

Mathematics Subject Classification ID

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

Related Items (3)

The conflict-free reduction geometry ⋮ Minimality in a Linear Calculus with Iteration ⋮ Relating conflict-free stable transition and event models via redex families

This page was built for publication: Stable results and relative normalization