Publication:4883840
From MaRDI portal
zbMath0857.18006MaRDI QIDQ4883840
Publication date: 18 August 1996
Full work available at URL: https://eudml.org/doc/193048
2-categories; essentially algebraic theory; rewrite systems; syntax; monad; Kleisli category; laxification; amphi-algebras; locally cartesian categories; sesqui-algebras; sufficient connected completeness
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
18C10: Theories (e.g., algebraic theories), structure, and semantics
Related Items
Cites Work