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 1497878 - MaRDI portal

scientific article; zbMATH DE number 1497878

From MaRDI portal

Publication:4499309

Jump to:navigation, search

zbMath0963.18002MaRDI QIDQ4499309

Marina Lenisa, Furio Honsell

Publication date: 5 March 2001

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

zbMATH Keywords

bisimulation atoms final coalgebra coiterative functions foundations of coinductive types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50)

Related Items (1)

Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors

This page was built for publication:

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