Program Semantics and Classical Logic

[11] R. Montague. Universal Grammar. In Formal Philosophy, pages 222-
246. Yale University Press, New Haven, 1970.

[12] R. Montague. The Proper Treatment of Quantification in Ordinary
English. In Formal Philosophy, pages 247-270. Yale University Press,
New Haven, 1973.

[13] P. Mosses. Denotational Semantics. In A.J. van Leeuwen, editor, Hand-
book of Theoretical Computer Science, pages 577-632. Elsevier, Amster-
dam, 1990.

[14] R.A. Muskens. Anaphora and the Logic of Change. In J. Van Eijck,
editor, Logics in AI, Proceedings of JELIA ’90. Springer-Verlag, Berlin,
1991.

[15] R.A. Muskens. Tense and the Logic of Change. In U. Egli, E.P. Pause,
C. Schwarze, A. Von Stechow, and G. Wienold, editors, Lexical Knowl-
edge in the Organization of Language, pages 147-183. John Benjamins,
Amsterdam, 1995.

[16] R.A. Muskens. Combining Montague Semantics and Discourse Repre-
sentation. Linguistics and Philosophy, 19:143-186, 1996.

[17] R.A. Muskens, J.F.A.K. van Benthem, and A. Visser. Dynamics. In
J.F.A.K. van Benthem and A. ter Meulen, editors, Handbook of Logic
and Language, pages 587-648. Elsevier, Amsterdam, 1997.

[18] V.R. Pratt. Semantical Considerations on Floyd-Hoare Logic. In Proc.
17th IEEE Symp. Found. Comp. Sci., pages 46-57, 1976.

[19] D.S. Scott. Domains for Denotational Semantics. In M. Nielsen and
E. Schmidt, editors, Proceedings 9th International Colloquium on Au-
tomata, Languages and Programming, pages 577-613, 1982.

[20] D.S. Scott and Strachey C. Toward a Mathematical Semantics for Com-
puter Languages. In Proc. Symp. on Computers and Automata, pages
19-46. Polytechnic Institute of Brooklyn, 1971.

[21] D.S. Scott and J.W. De Bakker. A Theory of Programs, 1969. Unpub-
lished Notes. IBM Vienna.

32

<<   29   30   31   32   33   >>

More intriguing information