Reduction Under Substitution

DOI10.1007/978-3-540-70590-1_29zbMath1146.03006OpenAlexW1480979627MaRDI QIDQ3522035

Roel de Vrijer, Jörg Endrullis

Publication date: 28 August 2008

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://research.vu.nl/ws/files/2411004/219628.pdf

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Highlights in infinitary rewriting and lambda calculus ⋮ Applications of infinitary lambda calculus

This page was built for publication: Reduction Under Substitution