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

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

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

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

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

Joing COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Italy, 28 August to 1 September, 1995

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