Lexical scoping as universal quantification (1989)

by Dale Miller
Venue:In Logic Programming: Proceedings of the Sixth International Conference