scientific article; zbMATH DE number 896181

zbMATH Open0857.18007MaRDI QIDQ4883841FDOQ4883841

Authors: Florence Cury 

Publication date: 29 August 1996

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

Title of this publication is not available (Why is that?)

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)