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

scientific article; zbMATH DE number 6131612

From MaRDI portal

Publication:4904162

Jump to:navigation, search

zbMath1267.68207arXiv1111.5885MaRDI QIDQ4904162

Jeremy Avigad

Publication date: 28 January 2013

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

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

zbMATH Keywords

dependent types type inference proof assistants

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

This page was built for publication:

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