Theoretical Computer Science, Volume 111

Volume 111, Numbers 1&2, 1993

Selected Papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Canada, May 1990

Samson Abramsky: Computational Interpretations of Linear Logic. 3-57
Reinhold Heckmann: Power Domains and Second-Order Predicates. 59-88
Manfred Droste: On Stable Domains. 89-101
François Lamarche: Stable Domains are Generalized Topological Spaces. 103-123
Michael G. Main: Complete Proof Rules for Strong Fairness and Strong Extreme Fairness. 125-143
Hans Dybkjær, Austin Melton: Comparing Hagino's Categorical Programming Language and Typed lambda-Calculi. 145-189
Lawrence S. Moss, Satish R. Thatte: Modal Logic and Algebraic Specifications. 191-210
Paul C. Gilmore, George K. Tsiknis: A Logic for Category Theory. 211-252
Paul C. Gilmore, George K. Tsiknis: Logical Foundations for Programming Semantics. 253-290