DMCA

Lexical scoping as universal quantification (1989)

by Dale Miller
Venue:In Sixth International Logic Programming Conference
Citations:63 - 19 self