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

by T G Griffin
Venue:In Proc. POPL,