A categorical manifesto (1991)

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

Documents Related by Co-Citation

419 Category Theory for Computer Science – M Barr, C Wells - 1990
515 Institutions: Abstract model theory for specification and programming – J Goguen, R Burstall - 1992
1126 A Survey of Approaches to Automatic Schema Matching – Erhard Rahm, Philip A. Bernstein - 2001
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
1556 Object-oriented Software Construction – B Meyer - 1988
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
3430 Communication and Concurrency – R Milner - 1989
1602 The C++ Programming Language – Bjarne Stroustrup - 1995
644 A Mathematical Introduction to Logic – H B Enderton - 1972