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

by T Griffin
Venue:In Proceedings of the 1990 Principles of Programming Languages Conference