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

scientific article; zbMATH DE number 1223630

From MaRDI portal

Publication:4218941

Jump to:navigation, search

zbMath0914.03020MaRDI QIDQ4218941

Yiannis N. Moschovakis

Publication date: 1998

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

zbMATH Keywords

products function spaces recursive definitions higher types fair merge concurrent model of the typed \(\lambda\)-calculus full recursion game-theoretic model of concurrency

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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