Mathematical Structures in Computer Science, Volume 3

Volume 3, Number 1, March 1993

• Stephen L. Bloom, Zoltán Ésik: Equational Axioms for Regular Sets. 1-24 BibTeX
• Douglas R. Troeger: Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. 25-62 BibTeX
• Adam Obtulowicz: Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions. 63-92 BibTeX
• Raymond Hoofman: The Theory of Semi-Functors. 93-128 BibTeX

Volume 3, Number 2, June 1993

• Paul Rozière: Admissible and Derivable Rules in Intuitionistic Logic. 129-136 BibTeX
• Manfred Droste, Rüdiger Göbel: Universal Domains and the Amalgamation Property. 137-159 BibTeX
• Samson Abramsky, Steven Vickers: Quantales, Observational Logic and Process Semantics. 161-227 BibTeX
• Joachim Lambek: Least Fixpoints of Endofunctors of Cartesian Closed Categories. 229-257 BibTeX
• Guo-Qiang Zhang: Some Monoidal Closed Categories of Stable Domains and Event Structures. 259-276 BibTeX

Volume 3, Number 3, September 1993

• J. Robin B. Cockett: Introduction to Distributive Categories. 277-307 BibTeX
• Stefano Berardi: An Application of PER Models to Program Extraction. 309-331 BibTeX
• Zhaohui Luo: Program Specification and Data Refinement in Type Theory. 333-363 BibTeX

Volume 3, Number 4, December 1993

• Thomas Ehrhard: Hypercoherences: A Strongly Stable Model of Linear Logic. 365-385 BibTeX
• Jon G. Riecke: Fully Abstract Translations Between Functional Languages. 387-415 BibTeX
• Roland Carl Backhouse, Jaap van der Woude: Demonic Operators and Monotype Factors. 417-433 BibTeX
• Peter W. O'Hearn: A Model for Syntactic Control of Interference. 435-465 BibTeX