Theoretical Computer Science, Volume 111

Volume 111, Numbers 1&2, 1993

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