Mathematical Structures in Computer Science, Volume 7

Volume 7, Number 1, February 1997

• Yuxi Fu: Categorical Properties of Logical Frameworks. 1-47
• Dusko Pavlovic: Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. 49-73
• Thierry Coquand, Peter Dybjer: Intuitionistic Model Constructions and Normalization Proofs. 75-94

Volume 7, Number 2, April 1997

• Barney P. Hilken, David E. Rydeheard: A Theory of Classes: Proofs and Models. 95-127
• Benjamin C. Pierce: Intersection Types and Bounded Polymorphism. 129-193
• Virgil Emil Cazanescu, Grigore Rosu: Weak Inclusion Systems. 195-206

Volume 7, Number 3, June 1997

• Daniel E. Cohen: String Rewriting and Homology of Monoids. 207-240
• Gian Luigi Ferrari, Ugo Montanari, Miranda Mowbray: Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. 241-282
• Marco Forti, Furio Honsell, Marina Lenisa: An Axiomatization of Partial n-Place Operations. 283-302

Volume 7, Number 4, August 1997

• Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Invariants of Inversive 2-Structures on Groups of Labels. 303-327
• Pawel Urzyczyn: Type Reconstruction in F_omega. 329-358
• José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Place/Transition Petri Nets. 359-397

Volume 7, Number 5, October 1997

• Abbas Edalat: When Scott is Weak on the Top. 401-417
• Jirí Adámek: A Categorical Generalization of Scott Domains. 419-443
• Christian Retoré: A Semantic Characterisation of the Correctness of a Proof Net. 445-452
• John Power, Edmund Robinson: Premonoidal Categories and Notions of Computation. 453-468
• John R. Longley, Alex K. Simpson: A Uniform Approach to Domain Theory in Realizability Models. 469-505
• John Hatcliff, Olivier Danvy: A Computational Formalization for Partial Evaluation. 507-541
• Jimmie Lawson: Spaces of Maximal Points. 543-555
• Søren B. Lassen: Action Semantics Reasoning about Functional Programs. 557-589
• Marcelo P. Fiore: An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. 591-618

Volume 7, Number 6, December 1997

• Dusko Pavlovic: Categorical logic of Names and Abstraction in Action Calculi. 619-637
• Kosta Dosen, Zoran Petric: Isomorphic Objects in Symmetric Monoidal Closed Categories. 639-662
• Gianluigi Bellin: Subnets of Proof-Nets in Multiplicative Linear Logic with MIX. 663-699
• Stephen L. Bloom, Zoltán Ésik: Varieties Generated by Languages with Poset Operations. 701-713