scientific article; zbMATH DE number 896181

MaRDI QIDQ4883841zbMATH OpenFDO

Authors Florence Cury

Publication date 29 August 1996

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

zbMATH Keywords

monadsyntaxKleisli category2-categoriesrewrite systemslaxificationessentially algebraic theoryamphi-algebraslocally cartesian categoriessesqui-algebrassufficient connected completeness

Mathematics Subject Classification ID

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

Cited in

(3)

• scientific article; zbMATH DE number 896180 (Why is no real title available?)
• scientific article; zbMATH DE number 840413 (Why is no real title available?)
• scientific article; zbMATH DE number 840414 (Why is no real title available?)

This page was built for publication:

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