A lambda-calculus for dynamic binding (1998)

by L Dami
Venue:Theoretical Computer Science