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
Useful Open Call-By-Need - MaRDI portal

Useful Open Call-By-Need

From MaRDI portal

Publication:6124931

Jump to:navigation, search

DOI10.4230/LIPICS.CSL.2022.4arXiv2107.06591OpenAlexW4312202193MaRDI QIDQ6124931

Maico Leberle, Beniamino Accattoli

Publication date: 10 April 2024

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

zbMATH Keywords

operational semantics lambda calculus sharing call-by-need cost models

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

This page was built for publication: Useful Open Call-By-Need

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