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

scientific article; zbMATH DE number 1546506

From MaRDI portal

Publication:4522251

Jump to:navigation, search

zbMath0969.03053MaRDI QIDQ4522251

Lyubomir Ivanov

Publication date: 3 October 2001

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

zbMATH Keywords

computability generalized recursion theory combinatory algebra lambda-abstraction boldface recursion models of a typed lambda-mu calculus monotonic hierarchies of operative spaces Platek spaces

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication:

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