Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
This paper is dedicated to Joseph Goguen, my beloved teacher and friend, on the ocassion of his 65th anniversary. It is a survey of institution-independent model theory as it stands today, the true form of abstract model theory which is based on the concept of institution. Institution theory was co-fathered by Joseph Goguen and Rod Burstall in late 1970's. In the final part we discuss some philosophical roots of institution-independent methodologies.
Publication details
DOI: 10.1007/11780274_5
Full citation:
Diaconescu, R. (2006)., Jewels of institution-independent model theory, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 65-98.
This document is unfortunately not available for download at the moment.