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
Computer Science Logic - MaRDI portal

Computer Science Logic

From MaRDI portal

Publication:5292651

Jump to:navigation, search

DOI10.1007/B13224zbMath1116.68380OpenAlexW2623947920MaRDI QIDQ5292651

James Laird

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (3)

Locally Boolean domains ⋮ Sequentiality and the CPS Semantics of Fresh Names ⋮ A calculus of coroutines

This page was built for publication: Computer Science Logic

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