Reduction Under Substitution

DOI10.1007/978-3-540-70590-1_29MaRDI QIDQ3522035zbMATH OpenOpenAlexFDO

Authors Jörg Endrullis, Roel de Vrijer

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)

Recommendations

• Explicit substitutions and reducibility
• Decomposition of reduction
• Reductivity
• Substitution revisited
• Publication:4934278
• Reducing subspaces
• Reducibility of polynomials after a polynomial substitution
• scientific article; zbMATH DE number 3217385
• Simplifying reductions
• Reduction of subbases and its applications

Cited in

(4)

• Applications of infinitary lambda calculus
• Highlights in infinitary rewriting and lambda calculus
• Light genericity
• Barendregt's theory of the -calculus, refreshed and formalized

This page was built for publication: Reduction Under Substitution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522035)