You could have invented denotational semantics (via dpk) — discussion

#plt