Categorical concepts for parameterized partial specifications

DOI10.1017/S0960129500000700zbMath0909.18002OpenAlexW2040125385MaRDI QIDQ4856659

Ingo Claßen, U. E. Wolter, Martin Grosse-Rhode

Publication date: 30 March 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000700

zbMATH Keywords

partial algebrasamalgamation propertydeduction calculusconditional existence equations of algebrasliberal institutionsemantics of modular specification languages

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (6)

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ An induction principle for consequence in arithmetic universes ⋮ Amalgamation in the semantics of CASL ⋮ Classifying categories for partial equational logic ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi

This page was built for publication: Categorical concepts for parameterized partial specifications