Mathematical Structures in Computer Science, Volume 1

Volume 1, Number 1, March 1991

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

Volume 1, Number 2, July 1991

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

Volume 1, Number 3, November 1991

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