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; zbMATH DE number 7204326 - MaRDI portal

scientific article; zbMATH DE number 7204326

From MaRDI portal

Publication:5111203

Jump to:navigation, search

DOI10.4230/LIPICS.CSL.2017.34zbMath1434.03086arXiv1707.08925MaRDI QIDQ5111203

Alice Pavaux

Publication date: 26 May 2020

Full work available at URL: https://arxiv.org/abs/1707.08925

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

zbMATH Keywords

fixed point linear logic inductive types game semantics ludics

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

This page was built for publication:

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