Edmund Robinson Logical Aspects of Denotational Semantics. 238-253 1987 conf/ctcs/1987 Category Theory and Computer Science db/conf/ctcs/ctcs1987.html#Robinson87