Observable properties of higher order functions that dynamically create local names, or: What’s new (1993)

by A Pitts, I Stark
Venue:Mathematical Foundations of Computer Science, volume 711 of Lecture Notes in Computer Science