A Formulae-as-Types Notion of Control (1990)

by T Griffin
Venue:In: POPL