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

scientific article; zbMATH DE number 6792351

From MaRDI portal

Publication:5369483

Jump to:navigation, search

DOI10.4230/LIPIcs.FSCD.2016.18zbMath1387.68074MaRDI QIDQ5369483

Fer-Jan de Vries

Publication date: 17 October 2017

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

zbMATH Keywords

partial recursive function lambda-calculus lambda-definability meaningless term undefined term

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ A class of bounded functions, a database language and an extended lambda calculus

This page was built for publication:

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