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

by T Griffin