Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages

• Localización: Applied categorical structures, ISSN 0927-2852, Vol. 6, Nº 4, 1998, págs. 427-453
• Idioma: inglés
• Texto completo no disponible (Saber más ...)