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
BibTeX
Razvan Diaconescu
: Completeness of Category-Based Equational Deduction. 9-40
BibTeX
Sara Negri
: Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic. 41-68
BibTeX
Michael Löwe
,
Uwe Wolter
: Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. 69-111
BibTeX
Dexter Kozen
,
Jens Palsberg
,
Michael I. Schwartzbach
: Efficient Recursive Subtyping. 113-125
BibTeX
Volume 5, Number 2, June 1995
Horst Reichel
: An Approach to Object Semantics based on Terminal Co-Algebras. 129-152
BibTeX
Ingo Claßen
,
Martin Große-Rhode
,
Uwe Wolter
: Categorical Concepts for Parameterized Partial Specifications. 153-188
BibTeX
Hans-Jörg Kreowski
,
Till Mossakowski
: Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. 189-215
BibTeX
Julia Padberg
,
Hartmut Ehrig
,
Leila Ribeiro
: Algebraic High-Level Net Transformation Systems. 217-256
BibTeX
Egidio Astesiano
,
Elena Zucca
: D-oids: A Model for Dynamic Data-Types. 257-282
BibTeX
Rosa M. Jiménez
,
Fernando Orejas
,
Hartmut Ehrig
: Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. 283-314
BibTeX
Volume 5, Number 3, September 1995
Jirí Adámek
,
Jirí Rosický
: Finitary Sketches and Finitely Accessible Categories. 315-322
BibTeX
Philippa Gardner
: Equivalences between Logics and Their Representing Type Theories. 323-349
BibTeX
Andrea Asperti
: Causal Dependencies in Multiplicative Linear Logic with MIX. 351-380
BibTeX
Richard H. Connelly
,
F. Lockwood Morris
: A Generalization of the Trie Data Structure. 381-418
BibTeX
Mitchell Wand
,
Patrick O'Keefe
,
Jens Palsberg
: Strong Normalization with Non-Structural Subtyping. 419-429
BibTeX
Arnon Avron
: A Note on the Structure of Bilattices. 431-438
BibTeX
Volume 5, Number 4, December 1995
Aurelio Carboni
,
Peter Johnstone
: Connected Limits, Familial Representability and Artin Glueing. 441-459
BibTeX
Martin Hofmann
: Sound and Complete Axiomatisations of Call-by-Value Control Operators. 461-482
BibTeX
Sergei Soloviev
: Reductions in Intuitionistic Linear Logic. 483-499
BibTeX
Claudio Hermida
,
Bart Jacobs
: Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. 501-531
BibTeX
Marcelo P. Fiore
: Order-Enrichment for Categories of Partial Maps. 533-562
BibTeX
Copyright ©
Sun May 17 00:14:17 2009 by
Michael Ley
(
ley@uni-trier.de
)