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

scientific article; zbMATH DE number 7318979

From MaRDI portal

Publication:4965813

Jump to:navigation, search

zbMath1458.68040arXiv1107.1203MaRDI QIDQ4965813

Janis Voigtländer, Daniel Seidel

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1107.1203

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Denotational semantics as a foundation for cost recurrence extraction for functional languages

This page was built for publication:

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