Carolyn Talcott
-
A Calculus of Lambda Calculus Contexts
Journal of Automated Reasoning
Computing with Contexts
Higher-Order and Symbolic Computation
A foundation for actor computation
Journal of Functional Programming