To all my parents 2 Acknowledgements (2007)
This is the part I'm writing as the last one of this survey and it is the only part about which I'm really sure of. The work you are holding in the hands is the result of the effort that...
A Calculus of Lambda Calculus Contexts (2001)
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...
The context calculus λc (Extended Abstract) (1999)
Mirna Bognar Roel de Vrijer Abstract The calculus c serves as a general framework for representing contexts. Essential features are control over variable capturing and the freedom to manipulate...