Mathematical Structures in Computer Science, Volume 5

Volume 5, Number 1, March 1995

Raymond Hoofman, Ieke Moerdijk: A Remark on the Theory of Semi-Functors. 1-8 BibTeX
Razvan Diaconescu: Completeness of Category-Based Equational Deduction. 9-40 BibTeX
Sara Negri: Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic. 41-68 BibTeX
Michael Löwe, Uwe Wolter: Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. 69-111 BibTeX
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach: Efficient Recursive Subtyping. 113-125 BibTeX

Horst Reichel: An Approach to Object Semantics based on Terminal Co-Algebras. 129-152 BibTeX
Ingo Claßen, Martin Große-Rhode, Uwe Wolter: Categorical Concepts for Parameterized Partial Specifications. 153-188 BibTeX
Hans-Jörg Kreowski, Till Mossakowski: Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. 189-215 BibTeX
Julia Padberg, Hartmut Ehrig, Leila Ribeiro: Algebraic High-Level Net Transformation Systems. 217-256 BibTeX
Egidio Astesiano, Elena Zucca: D-oids: A Model for Dynamic Data-Types. 257-282 BibTeX
Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig: Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. 283-314 BibTeX

Jirí Adámek, Jirí Rosický: Finitary Sketches and Finitely Accessible Categories. 315-322 BibTeX
Philippa Gardner: Equivalences between Logics and Their Representing Type Theories. 323-349 BibTeX
Andrea Asperti: Causal Dependencies in Multiplicative Linear Logic with MIX. 351-380 BibTeX
Richard H. Connelly, F. Lockwood Morris: A Generalization of the Trie Data Structure. 381-418 BibTeX
Mitchell Wand, Patrick O'Keefe, Jens Palsberg: Strong Normalization with Non-Structural Subtyping. 419-429 BibTeX
Arnon Avron: A Note on the Structure of Bilattices. 431-438 BibTeX

Aurelio Carboni, Peter Johnstone: Connected Limits, Familial Representability and Artin Glueing. 441-459 BibTeX
Martin Hofmann: Sound and Complete Axiomatisations of Call-by-Value Control Operators. 461-482 BibTeX
Sergei Soloviev: Reductions in Intuitionistic Linear Logic. 483-499 BibTeX
Claudio Hermida, Bart Jacobs: Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. 501-531 BibTeX
Marcelo P. Fiore: Order-Enrichment for Categories of Partial Maps. 533-562 BibTeX