From static to dynamic abstract data-types

This publication has 8 references indexed in Scilit:

• May I borrow your logic? (Transporting logical structures along maps)
  Theoretical Computer Science, 1997
• A Free Construction of Dynamic Terms
  Journal of Computer and System Sciences, 1996
• Behavioural satisfaction and equivalence in concrete model categories
  Published by Springer Nature ,1996
• Context institutions
  Published by Springer Nature ,1996
• D-oids: a model for dynamic data-types
  Mathematical Structures in Computer Science, 1995
• Relations as abstract datatypes: An institution to specify relations between algebras
  Published by Springer Nature ,1995
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992