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

by A Pitts, I Stark
Venue:Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science (MFCS’93