Lexical scoping as universal quantification (1989)

by Dale Miller
Venue:In Sixth International Logic Programming Conference
Citations:64 - 17 self