default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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 T. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
