Logical Aspects of Denotational Semantics

Edmund Robinson. Logical Aspects of Denotational Semantics. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 238-253, Springer, 1987.

Abstract

Abstract is missing.