A syntactic theory of dynamic binding (1998)

by Luc Moreau
Venue:HigherOrder and Symbolic Computation