scientific article; zbMATH DE number 840414

zbMath0857.18005MaRDI QIDQ4862885

Florence Cury

Publication date: 6 March 1997

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

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

zbMATH Keywords

2-categoriesessentially algebraic theoryrewrite systemssyntaxmonadKleisli categorylaxificationamphi-algebraslocally cartesian categoriessesqui-algebrassufficient connected completeness

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Some algebraic problems in the context of functorial semantics of algebraic theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: