Mathematical Structures in Computer Science, Volume 6

Volume 6, Number 1, February 1996

• Maarten M. Fokkinga:
  Datatype Laws without Signatures. 1-32
  
• Fernando Orejas, Marisa Navarro, Ana Sánchez:
  Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. 33-67
  
• M. Bunge, J. Funk:
  Constructive Theory of the Lower Power Locale. 69-83
  
• Egidio Astesiano, Maura Cerioli:
  Non-Strict Don't Care Algebras and Specifications. 85-125
  

Volume 6, Number 2, April 1996

• Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters:
  A Note on Recursive Functions. 127-139
  
• Bruno Courcelle, Jens Lagergren:
  Equivalent Definitions of Recognizability for Sets of Graphs of Bounded Tree-Width. 141-165
  
• Simon Ambler:
  A Categorial Approach to the Semantics of Argumentation. 167-188
  
• Richard Blute:
  Hopf Algebras and Linear Logic. 189-217
  
• Michael Barr:
  Appendix: Separability of Tensor in Chu Categories of Cector Spaces. 213-217
  

Volume 6, Number 3, June 1996

• Cosimo Laneve, Ugo Montanari:
  Axiomatizing Permutation Equivalence. 219-249
  
• Yoram Hirshfeld, Mark Jerrum, Faron Moller:
  A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. 251-259
  
• Antonino Salibra, Giuseppe Scollo:
  Interpolation and Compactness in Categories of Pre-Institutions. 261-286
  
• Arnon Avron:
  The Structure of Interlaced Bilattices. 287-299
  
• Michael Barr:
  Fuzzy Models of Linear Logic. 301-312
  

Volume 6, Number 4, August 1996

• Richard Blute, J. Robin B. Cockett, R. A. G. Seely:
  ! and ? - Storage as Tensorial Strength. 313-351
  
• José Luiz Fiadeiro, José Félix Costa:
  Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. 353-373
  
• Michael D. Rice:
  Reflexive Objects in Topological Categories. 375-386
  
• Anne Preller, Geneviève Simonet:
  Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types. 387-408
  

Volume 6, Number 5, October 1996

• Benjamin C. Pierce, Davide Sangiorgi: Typing and Subtyping for Mobile Processes. 409-453
• Adrian Fiech: Colimits in the Category DCPO. 455-468
• Adriana B. Compagnoni, Benjamin C. Pierce: Higher-Order Intersection Types and Multiple Inheritance. 469-501

Volume 6, Number 6, October 1996

• Detlef Seese: Linear Time Computable Problems and First-Order Descriptions. 505-526
• Hans Jürgen Schneider: On Outward and Inward Productions in the Categorical Graph-Grammar Approach and Delta-Grammars. 527-543
• David Clark, Richard Kennaway: Event Structures and Non-Orthogonal Term Graph Rewriting. 545-578
• Erik Barendsen, Sjaak Smetsers: Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. 579-612
• Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe: Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 613-648
• Annegret Habel, Detlef Plump: Term Graph Narrowing. 649-676

Last update Tue May 21 19:25:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page