Mathematical Structures in Computer Science, Volume 6

Volume 6, Number 1, February 1996

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

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

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

Richard Blute, J. Robin B. Cockett, R. A. G. Seely: ! and ? - Storage as Tensorial Strength. 313-351 BibTeX
José Luiz Fiadeiro, José Félix Costa: Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. 353-373 BibTeX
Michael D. Rice: Reflexive Objects in Topological Categories. 375-386 BibTeX
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 BibTeX

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

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 BibTeX
Hans Jürgen Schneider: On Outward and Inward Productions in the Categorical Graph-Grammar Approach and Delta-Grammars. 527-543 BibTeX
David Clark, Richard Kennaway: Event Structures and Non-Orthogonal Term Graph Rewriting. 545-578 BibTeX
Erik Barendsen, Sjaak Smetsers: Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. 579-612 BibTeX
Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe: Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 613-648 BibTeX
Annegret Habel, Detlef Plump: Term Graph Narrowing. 649-676 BibTeX