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
Statistical properties of lambda terms - MaRDI portal

Statistical properties of lambda terms

From MaRDI portal

Publication:6302025

Jump to:navigation, search

arXiv1805.09419MaRDI QIDQ6302025

Olivier Bodini, Sergey Dovgal, Maciej Bendkowski

Publication date: 23 May 2018

Mathematics Subject Classification ID

Asymptotic distribution theory in statistics (62E20) Logic in computer science (03B70) Asymptotic enumeration (05A16) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Statistical properties of lambda terms

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