Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
type: Item
instance of: scholarly article
title: Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
zbMATH Open document ID: 0919.68087
DOI: 10.1023/A:1008607717635
author: Răzvan Diaconescu
published in: Applied Categorical Structures
publication date: 1999-08-31T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 08A70
zbMATH DE Number: 1234344
zbMATH Keywords: logical semantics for languages
zbMATH Keywords: CafeOBJ
describes a project that uses: CafeOBJ
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1234344