An insertion operator preserving infinite reduction sequences
From MaRDI portal
Publication:3520149
DOI10.1017/S0960129508006816zbMath1153.68025MaRDI QIDQ3520149
Publication date: 15 August 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems
03B40: Combinatory logic and lambda calculus
Cites Work