A lambda-calculus for dynamic binding (1998)

by Laurent Dami
Venue:Theoretical Computer Science