| A Calculus of Lambda Calculus Contexts (2001) | |||||||||||||||
Abstract | |||||||||||||||
| The calculus c serves as a general framework for representing contexts. Essential features are control over variable capturing and the freedom to manipulate contexts before or after hole lling, by a mechanism of delayed substitution. The context calculus c is given in the form of an extension of the lambda calculus. Many notions of context can be represented within the framework; a particular variation can be obtained by the choice of a pretyping, which we illustrate by three examples. 1. | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||