Functorial semantics of first-order views

DOI10.1016/J.TCS.2016.09.009zbMATH Open1370.68208OpenAlexW2524176006MaRDI QIDQ344796FDOQ344796

Authors: Răzvan Diaconescu 

Publication date: 24 November 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.09.009

Recommendations

• scientific article; zbMATH DE number 1487474
• scientific article; zbMATH DE number 554481
• The meaning of specifications I: Domains and initial models
• Functorial theory of parameterized specifications in a general specification framework
• Functorial polymorphism

zbMATH Keywords

algebraic specificationsparameterised specificationsviews

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• A formulation of the simple theory of types
• Foundations of algebraic specification and formal software development.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Structured theory presentations and logic representations
• The definition of Extended ML: A gentle introduction
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Herbrand theorems in arbitrary institutions
• What Is a derived signature morphism?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parameterisation for abstract structured specifications
• Title not available (Why is that?)
• An axiomatic approach to structuring specifications
• A module system for a programming language based on the LF logical framework
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing hidden information modules over inclusive institutions
• On the algebra of structured specifications
• Grothendieck inclusion systems
• Saturated models in institutions
• An institution-independent proof of the Beth definability theorem

Cited In (4)

• Morphism axioms
• Partialising institutions
• Fibrations and universal view updatability
• Implicit Partiality of Signature Morphisms in Institution Theory

Uses Software

• ML
• CASL
• OBJ3
• CafeOBJ

This page was built for publication: Functorial semantics of first-order views

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q344796)