The Substitution Vanishes

DOI10.1007/11784180_15MaRDI QIDQ3623933zbMATH OpenOpenAlexFDO

Authors Armin Kühnemann, Andreas Maletti

Publication date 28 April 2009

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11784180_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• The substitution theorem
• Substitution revisited
• On the Notion of Substitution
• The substitution method revisited
• Point-free substitution
• Explicit substitutions
• The simplest erasing substitution
• scientific article; zbMATH DE number 445156
• scientific article; zbMATH DE number 4177054

Cited in

(7)

• Deaccumulation techniques for improving provability
• Manipulating accumulative functions by swapping call-time and return-time computations
• Point-free substitution
• Substitution: A formal methods case study using monads and transformations
• Concatenate, reverse and map vanish for free
• scientific article; zbMATH DE number 1808202 (Why is no real title available?)
• The promotion and accumulation strategies in transformational programming

This page was built for publication: The Substitution Vanishes

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