Logical Aspects of Denotational Semantics

[1]  Glynn Winskel,et al.  On Powerdomains and Modality , 1985, Theor. Comput. Sci..

[2]  P. Johnstone,et al.  The point of pointless topology , 1983 .

[3]  J. M. E. Hyland,et al.  Function spaces in the category of locales , 1981 .

[4]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

[5]  J. W. de Bakker,et al.  Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.

[6]  Stephen D. Brookes,et al.  An Axiomatic Treatment of a Parallel Programming Language , 1985, Logic of Programs.

[7]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[8]  Armin B. Cremers,et al.  Context-Free Grammar Forms , 1974, J. Comput. Syst. Sci..

[9]  E.K. Blum.  Stationary Points of Functionals in Pre-Hilbert Spaces , 1967, J. Comput. Syst. Sci..

[10]  Edmund Robinson,et al.  Power-domains, modalities and the Vietoris monad , 1986 .