A categorical manifesto (1991)

Cached

Download Links

by Joseph A. Goguen
Venue:Mathematical Structures in Computer Science
Citations:99 - 5 self

Active Bibliography

48 Little Theories – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
4 Towards a New Way of Parameterization – Radu Grosu, Dieter Nazareth
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
8 Semantics of architectural specifications in Casl – Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman - 2001
10 On the Structure of High-level Nets – Johan Lilius, Johan Lilius - 1995
1 Algebraic Graph-Based Approach to Schema Integration – Ilya Beylin, se Boris Cadish, Zinovy Diskin - 1996
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
Types as Theories – Joseph Goguen Programming, Joseph A. Goguen - 1991
3 On the Compositionality and Analysis of Algebraic High-Level Nets – Johan Lilius, Johan Lilius - 1991
2 A Distributed Architecture Definition Language: a DADL – Ron Burback - 1998
8 Higher Order Functions Considered Unnecessary for Higher Order Programming – Joseph A. Goguen - 1990
1 Concepts of Object Paradigm for an Approach to Modular Specification of Communication Protocols – Jörg Fischer, C Fl Jorg Fischer, Otto-von-guericke-universitat Magdeburg, Fakultat Fur Informatik - 1999
3 Constructing Specifications and Modules in a KZ-Doctrine – Gillian Hill - 1994
1 Detecting Isomorphisms of Modular Specifications with Diagrams – Catherine Oriat - 1995
unknown title – unknown authors
7 A new semantics for Clear – D. T. Sannella
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996