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

scientific article; zbMATH DE number 1361534

From MaRDI portal

Publication:4699352

Jump to:navigation, search

zbMath0935.03025MaRDI QIDQ4699352

Hirofumi Yokouchi

Publication date: 10 November 1999

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

zbMATH Keywords

survey semantics lambda calculus sequent calculi syntax type assignment semantic completeness polymorphic types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models

This page was built for publication:

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