Mathematical Structures in Computer Science, Volume 7

Volume 7, Number 1, February 1997

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

Volume 7, Number 2, April 1997

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

Volume 7, Number 3, June 1997

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

Volume 7, Number 4, August 1997

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

Volume 7, Number 5, October 1997

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

Volume 7, Number 6, December 1997

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