A formulae-as-type notion of control (1990)

by T Grin
Venue:In Conference Record of the 17th A.C.M. Symposium on principles of Programming Languages