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
  

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