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

by Timothy Griffin
Venue:In 17th Symposium on Principles of Programming Languages