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
A parallel game semantics for linear logic - MaRDI portal

A parallel game semantics for linear logic

From MaRDI portal

Publication:1360314

Jump to:navigation, search

DOI10.1007/S001530050061zbMath0923.03063OpenAlexW2060904787MaRDI QIDQ1360314

Stefano Berardi, Stefano Baratella

Publication date: 28 October 1999

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

parallel algorithms constructive content of proofs fragment of propositional infinitary linear logic

Mathematics Subject Classification ID

Applications of game theory (91A80) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: A parallel game semantics for linear logic

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