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

scientific article

From MaRDI portal

Publication:3782747

Jump to:navigation, search

zbMath0641.68024MaRDI QIDQ3782747

Edmund P. Robinson

Publication date: 1987

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

zbMATH Keywords

Stone duality denotational semantics domain theory axiomatic semantics power-domains SFP structural semantics for programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (6)

Information systems for continuous posets ⋮ The convex powerdomain in a category of posets realized by cpos ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Domain theory in logical form ⋮ The mixed powerdomain ⋮ Inverse image analysis generalises strictness analysis

This page was built for publication:

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