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
Extensions of valuations - MaRDI portal

Extensions of valuations

From MaRDI portal

Publication:4675769

Jump to:navigation, search

DOI10.1017/S096012950400461XzbMath1067.68089OpenAlexW2125869720WikidataQ56873888 ScholiaQ56873888MaRDI QIDQ4675769

Jean Goubault-Larrecq

Publication date: 6 May 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950400461x

zbMATH Keywords

Alexandroff topology programming language semantics continuous valuations probabilistic nondeterminism specialisation preordering

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Logical relations for monadic types

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