Volume 5, Number 1, March 1995

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

Volume 5, Number 2, June 1995

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

Volume 5, Number 3, September 1995

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

Volume 5, Number 4, December 1995

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

last updated on Fri May 24 04:11:45 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page