A syntactic theory of dynamic binding (1998)

by L Moreau
Venue:Higher-Order and Symbolic Computation