Mathematical Structures in Computer Science, Volume 1

Volume 1, Number 1, March 1991

• Luca Cardelli, John C. Mitchell:
  Operations on Records. 3-48
  
• Joseph A. Goguen:
  A Categorical Manifesto. 49-67
  
• Narciso Martí-Oliet, José Meseguer:
  From Petri Nets to Linear Logic. 69-101
  
• Eugenio Moggi:
  A Cateogry-Theoretic Account of Program Modules. 103-139
  

Volume 1, Number 2, July 1991

• C. E. Martin, C. A. R. Hoare, Jifeng He:
  Pre-Adjunctions in Order Enriched Categories. 141-158
  
• Michael Barr:
  *-Autonomous Categories and Linear Logic. 159-178
  
• Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
  Temporal Structures. 179-213
  
• Giuseppe Longo, Eugenio Moggi:
  Constructive Natural Deduction and its `Omega-Set' Interpretation. 215-254
  

Volume 1, Number 3, November 1991

• Jean-Yves Girard:
  A New Constructive Logic: Classical Logic. 255-296
  
• Yves Lafont, Alain Prouté:
  Church-Rosser Property and Homology of Monoids. 297-326
  
• Bart Jacobs:
  Semantics of the Second Order Lambda Calculus. 327-360
  
• Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
  Parallelism and Concurrency in High-Level Replacement Systems. 361-404
  

Last update Sat May 18 20:47:20 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page