Functorial semantics of first-order views
type: Item
instance of: scholarly article
title: Functorial semantics of first-order views
zbMATH Open document ID: 1370.68208
author: Răzvan Diaconescu
published in: Theoretical Computer Science
publication date: 2016-11-24T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6655883
zbMATH Keywords: algebraic specifications
zbMATH Keywords: parameterised specifications
zbMATH Keywords: views
describes a project that uses: CafeOBJ
describes a project that uses: ML
describes a project that uses: CASL
describes a project that uses: OBJ3
MaRDI profile type: Publication
full work available at URL: j.tcs.2016.09.009
OpenAlex ID: W2524176006
cites work: An institution-independent proof of the Beth definability theorem
cites work: Q3677150
cites work: Q4856547
cites work: A formulation of the simple theory of types
cites work: Elementary Diagrams in Institutions
cites work: Herbrand theorems in arbitrary institutions
cites work: Institution-independent model theory
cites work: Grothendieck inclusion systems
cites work: An axiomatic approach to structuring specifications
cites work: On the algebra of structured specifications
cites work: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
cites work: Saturated models in institutions
cites work: Q3221381
cites work: Q3995276
cites work: Institutions: abstract model theory for specification and programming
cites work: Composing Hidden Information Modules over Inclusive Institutions
cites work: A module system for a programming language based on the LF logical framework
cites work: Structured theory presentations and logic representations
cites work: The definition of Extended ML: A gentle introduction
cites work: Q4215784
cites work: What Is a Derived Signature Morphism?
cites work: CASL reference manual. The complete documentation of the common algebraic specification language.
cites work: Axiomatizability in inclusive equational logics
cites work: Foundations of algebraic specification and formal software development.
cites work: Parameterisation for abstract structured specifications
DOI: 10.1016/J.TCS.2016.09.009
description: scientific article; zbMATH DE number 6655883