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
  
• 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 update Mon May 20 02:04:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page