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
Categorical Models of Syntactic Control of Intereference Revisited, Revisited - MaRDI portal

Categorical Models of Syntactic Control of Intereference Revisited, Revisited

From MaRDI portal

Publication:3091944

Jump to:navigation, search

DOI10.1112/S1461157000001364zbMath1221.68153MaRDI QIDQ3091944

Guy McCusker

Publication date: 15 September 2011

Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)

zbMATH Keywords

interference imperative programming bireflective model reflection and coreflection syntactic control of interference revisited (SCIR)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Cites Work

This page was built for publication: Categorical Models of Syntactic Control of Intereference Revisited, Revisited

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