Denotational semantics with partial functions (1985)

by Gordon D Plotkin
Venue:Lecture at C.S.L.I. Summer School