A categorical manifesto (1991)

Cached

Download Links

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

Documents Related by Co-Citation

394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
43 R.: A study in the foundations of programming methodology: Specifications, institutions, charters and parchments – Burstall J Goguen - 1986
45 Axioms for abstract model theory – K J Barwise - 1974
37 Categorical foundations for general systems theory – J Goguen - 1973
930 Categories for the Working Mathematician – S Mac Lane - 1971
101 Graph processes – A Corradini, U Montanari, F Rossi - 1996
72 Types as theories – Joseph Goguen - 1991
75 Reusing and interconnecting software components – J Goguen - 1986
103 Using ViewPoints for Inconsistency Management – Steve Easterbrook, Bashar Nuseibeh - 1996
72 A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints – Steve Easterbrook, Marsha Chechik - 2001
55 Computational category theory – David E Rydeheard, Rodney M Burstall - 1988
1065 Introduction to lattices and order – B A Davey, H A Priestley - 2002
291 A useful four-valued logic – N Belnap - 1977
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
6 R.Burstall, "Institutions: Abstract Model Theory for Specification and Programming – J Goguen - 1992
4 and G.Winskel, "A Classification of Models for Concurrency – M Nielsen V Sassone - 1993
173 Introduction to the Algebraic Theory of Graph Grammars – H Ehrig - 1979