Meaningless terms in rewriting

DOI10.1007/3-540-61735-3_17zbMath1355.68138OpenAlexW2157195461MaRDI QIDQ2956726

Fer-Jan de Vries, Richard Kennaway, Vincent van Oostrom

Publication date: 19 January 2017

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

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26465

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Approximation and normalization results for typeable term rewriting systems ⋮ Infinite \(\lambda\)-calculus and types