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 1333617 - MaRDI portal

scientific article; zbMATH DE number 1333617

From MaRDI portal
Publication:4260391

zbMath0925.03093MaRDI QIDQ4260391

Roberto M. Amadio

Publication date: 19 September 1999


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


Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)


Related Items (1)

Correctness of compiling polymorphism to dynamic typing







This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4260391&oldid=18159022"
Powered by MediaWiki