A Lambda-Calculus for Dynamic Binding (1997)

by Laurent Dami
Venue:Theoretical Computer Science