Unique normal form property of Higher-Order Rewriting Systems

DOI10.1007/3-540-61735-3_18zbMath1355.68141OpenAlexW1533121435MaRDI QIDQ2956727

Ken Mano, Mizuhito Ogawa

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_18

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Lambda calculus with patterns ⋮ Conditional linearization ⋮ Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem

This page was built for publication: Unique normal form property of Higher-Order Rewriting Systems