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

scientific article; zbMATH DE number 7204561

From MaRDI portal

Publication:5111441

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2017.109zbMath1442.03009arXiv1501.06522MaRDI QIDQ5111441

Gilles Dowek

Publication date: 27 May 2020

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

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

zbMATH Keywords

calculus of constructions simple type theory proof reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

A modular construction of type theories ⋮ Unnamed Item

This page was built for publication:

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