Detecting isomorphisms of modular specifications with diagrams

DOI10.1007/3-540-60043-4_53zbMath1496.68204OpenAlexW1907672865MaRDI QIDQ5096385

C. Oriat

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_53

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Detecting equivalence of modular specifications with categorical diagrams

Cites Work

• Structured algebraic specifications: A kernel language
• Generalized algebraic theories and contextual categories
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Detecting isomorphisms of modular specifications with diagrams