Elementary Diagrams in Institutions

Abstract

Journal Article Elementary Diagrams in Institutions Get access Răzvan Diaconescu Răzvan Diaconescu Institute of Mathematics ‘Simion Stoilow’, PO Box 1-764, Bucharest 014700, Romania. E-mail: Razvan.Diaconescu@imar.ro Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 14, Issue 5, October 2004, Pages 651–674, https://doi.org/10.1093/logcom/14.5.651 Published: 01 October 2004