Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. M. Arrais and J.L. Fiadeiro. Unifying theories in different institutions. In Proc. WADT11, Oslo, pages 81–101. Springer, LNCS 1130, 1996.
2. M. Cerioli and AMeseguer. May i borrow your logic? (transporting logical structures along maps). TCS, 173(2):311–347, 1997.
3. Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Università di Pisa-Genova-Udine, 1993. TD-4/93.
4. J. Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1(1):49–67, 1991.
5. J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95–146, January 1992.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 2-Term Charters.;The Journal of Object Technology;2020
2. Term Charters;Recent Trends in Algebraic Development Techniques;2019
3. A systematic study of mappings between institutions;Recent Trends in Algebraic Development Techniques;1998