|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
79
|
Logical Support for Modularisation
– Razvan Diaconescu , Joseph Goguen, Petros Stefaneas
- 1993
|
|
47
|
Moving Between Logical Systems
– Andrzej Tarlecki
- 1998
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
22
|
Emil Căzănescu and Grigore Ros¸u. Weak inclusion systems
– Virgil
- 1997
|
|
106
|
Module algebra
– J A Bergstra, J Heering, P Klint
- 1990
|
|
160
|
General logics
– J Meseguer
- 1989
|
|
38
|
Logical support for modularization
– R Diaconescu, J Goguen, P Stefaneas
- 1991
|
|
44
|
I borrow your logic? (Transporting logical structures along maps
– M Cerioli, J Meseguer
|
|
31
|
An Implementation-Oriented Semantics for Module Composition
– Joseph Goguen, Will Tracz
- 1997
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
51
|
Institution Morphisms
– Joseph Goguen, Grigore Rosu
- 2001
|
|
45
|
Bits and pieces of the theory of institution
– Andrzej Tarlecki
|
|
41
|
LILEANNA: A Parameterized Programming Language
– W Tracz
- 1993
|
|
78
|
Initiality, induction and computability
– J Meseguer, J Goguen
- 1985
|
|
23
|
and Andrzej Tarlecki. Specifications in an arbitrary institution
– Donald Sannella
- 1988
|
|
127
|
Membership Algebra as a Logical Framework for Equational Specification
– José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer
- 1998
|
|
85
|
Towards an Algebraic Semantics for the Object Paradigm
– Joseph A. Goguen, Razvan Diaconescu
- 1994
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
