The Substitution Vanishes

DOI10.1007/11784180_15zbMATH Open1236.68031OpenAlexW1559339468MaRDI QIDQ3623933FDOQ3623933

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)