semantics with partial functions, unpublished lecture notes from (1985)

by Denotational G D Plotkin
Venue:CSLI Summer School