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
Finiteness spaces and generalized power series - MaRDI portal

Finiteness spaces and generalized power series

From MaRDI portal

Publication:6302076

Jump to:navigation, search

DOI10.1016/j.entcs.2018.11.002zbMath1529.13014arXiv1805.09836WikidataQ113317498 ScholiaQ113317498MaRDI QIDQ6302076

J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott, Richard F. Blute

Publication date: 24 May 2018

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Formal power series rings (13F25)

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