Theoretical Computer Science, Volume 50

Volume 50, 1987

• Jean-Yves Girard: Linear Logic. 1-102
• John W. Gray: Categorical Aspects of Data Type Constructors. 103-135
• Jan A. Bergstra, J. V. Tucker: Algebraic Specifications of Computable and Semicomputable Data Types. 137-181
• Jacques Mazoyer: A Six-State Minimal Time Solution to the Firing Squad Synchronization Problem. 183-238
• Iain Phillips: Refusal Testing. 241-284
• Ildikó Sain: Total Correctness in Nonstandard Logics of Programs. 285-321
• Eric G. Wagner, Hartmut Ehrig: Canonical Constraints for Parameterized Data Types. 323-349