Theoretical Computer Science, Volume 111

Volume 111, Numbers 1&2, 1993

• 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