Categorial Methods in Computer Science

Keyphrases

Publications

volume 393, 1989

Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany] Categorial Methods in Computer Science 393 (1989)

1988

Horst Herrlich, Hartmut Ehrig
The Construct PRO of Projection Spaces: Its Internal Structure. Categorial Methods in Computer Science (1988)
John W. Gray
The Integration of Logical and Algebraic Types. Categorial Methods in Computer Science (1988)
Hajnal Andréka, R. J. Greechie, George E. Strecker
On Residuated Approximations. Categorial Methods in Computer Science (1988)
Fernando Orejas, Vera Sacristán, Silvia Clerici
Development of Algebraic Specifications with Constraints. Categorial Methods in Computer Science (1988)
Zhenyu Qian
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. Categorial Methods in Computer Science (1988)
Ingo Claßen
Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language. Categorial Methods in Computer Science (1988)
Hartmut Ehrig
Categorical Concept of Constraints for Algebraic Specifications. Categorial Methods in Computer Science (1988)
Eric G. Wagner
On Declarations. Categorial Methods in Computer Science (1988)
Axel Poigné
Foundations are Rich Institutions, but Institutions are Poor Foundations. Categorial Methods in Computer Science (1988)
Anne E. Haxthausen
Parameterized Algebraic Domain Equations. Categorial Methods in Computer Science (1988)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science (1988)
Bernd Mahr
Empty Carriers: The Categorical Burden on Logic. Categorial Methods in Computer Science (1988)
Hans-Jörg Kreowski
Colimits as Parameterized Data Types. Categorial Methods in Computer Science (1988)
Fernando Orejas, Pilar Nivela, Hartmut Ehrig
Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science (1988)
Austin Melton
Topological Spaces for Cpos. Categorial Methods in Computer Science (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects, Object Types, and Object Identification. Categorial Methods in Computer Science (1988)
Oswald Wyler
On Convergence of Filters and Ultrafilters to Subsets. Categorial Methods in Computer Science (1988)
H. L. Bentley, Worthen Hunsaker
Cauchy Sequences in Quasi-Uniform Spaces: Categorical Aspects. Categorial Methods in Computer Science (1988)
Friedhelm Schwarz
Description of the Topological Universe Hull. Categorial Methods in Computer Science (1988)
Ernest G. Manes
Monads, Matrices and Generalized Dynamic Algebra. Categorial Methods in Computer Science (1988)
Miroslav Husek
Categories and Mathematical Morphology. Categorial Methods in Computer Science (1988)
Martin Große-Rhode
Parameterized Data Type and Process Specifications Using Projection Algebras. Categorial Methods in Computer Science (1988)
Gerhard Preuß
On the Topological Structures of Nets. Categorial Methods in Computer Science (1988)