Defining a Resource-Sensitive Approximation Theory for the λμ-Calculus
The article proposes a resource-sensitive version of the λμ-calculus and defines a Taylor expansion for it, which provides a sensible approximation theory for the language and enables the proof of advanced properties such as Stability and Perpendicular Lines Property.
