On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) (1993)

by Andrew Pitts, Ian Stark
Venue:IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PROC. 18TH INT. SYMP