Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 896180 - MaRDI portal

scientific article; zbMATH DE number 896180

From MaRDI portal

Publication:4883840

Jump to:navigation, search

zbMath0857.18006MaRDI QIDQ4883840

Florence Cury

Publication date: 18 August 1996

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

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

zbMATH Keywords

2-categories essentially algebraic theory rewrite systems syntax monad Kleisli category laxification amphi-algebras locally cartesian categories sesqui-algebras sufficient 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 (1)

Cites Work

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4883840&oldid=19259096"