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

scientific article; zbMATH DE number 7204328

From MaRDI portal

Publication:5111206

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2017.36zbMath1434.03059arXiv1706.03711MaRDI QIDQ5111206

James Cheney, Wilmer Ricciotti

Publication date: 26 May 2020

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

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

zbMATH Keywords

lambda calculus strong normalization justification logic audited computation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Strongly-Normalizing Higher-Order Relational Queries ⋮ Correct audit logging in concurrent systems

This page was built for publication:

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