Theoretical Computer Science, Volume 50

Volume 50, 1987

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