scientific article; zbMATH DE number 622433

zbMath0804.18004MaRDI QIDQ4302937

Seyed-Kazem Lellahi, Nicolas Spyratos

Publication date: 21 August 1994

Full work available at URL: https://eudml.org/doc/193045

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic specificationcategorical logiccategorical semanticsenriched categoriesgraph- based modelling of knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (1)

Unnamed Item

Uses Software

• GraphLog

Cites Work

• Formal category theory: Adjointness for 2-categories
• A formalism for the specification of essentially-algebraic structures in 2-categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: