Theoretical Computer Science, Volume 139

Volume 139, Numbers 1&2, 6 March 1995

• Ian M. Hodkinson:
  On Gabbay's Temporal Fixed Point Operator. 1-25
  
• Peter Päppinghaus:
  On the Logic of UNITY. 27-67
  
• J. Robin B. Cockett, Dwight Spencer:
  Strong Categorical Datatypes II: A Term Logic for Categorical Programming. 69-113
  
• Michael Barr:
  Nonsymmetric *-Autonomous Categories. 115-130
  
• Giorgio Ghelli:
  Divergence of F< Type Checking. 131-162
  
• Anne Bergeron:
  Sharing Out Control in Distributed Processes. 163-186
  
• Pasquale Malacaria:
  Studying Equivalences of Transition Systems with Algebraic Tools. 187-205
  
• Daniel J. Dougherty, Patricia Johann:
  A Combinatory Logic Approach to Higher-Order E-Unification. 207-242
  
• Yiannis N. Moschovakis:
  Computable Concurrent Processes. 243-273
  
• Gilles Bernot, Michel Bidoit, Teodor Knapik:
  Observational Specifications and the Indistinguishability Assumption. 275-314
  
• Paola Inverardi, Monica Nesi:
  Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. 315-354
  
• Andreas Weiermann:
  Termination Proofs for Term Rewriting Systems by Lexicographic Path Orderings Imply Multiply Recursive Derivation Lengths. 355-362