Lexical scoping as universal quantification (1989)

by D A Miller
Venue:Logic Programming: Proceedings of the Sixth International Conference