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

scientific article

From MaRDI portal

Publication:2968416

Jump to:navigation, search

DOI10.4230/LIPICS.TYPES.2013.169zbMath1359.03011arXiv1309.5767MaRDI QIDQ2968416

Hugo Herbelin, Arnaud Spiwack

Publication date: 13 March 2017

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

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

zbMATH Keywords

Coq calculus of inductive constructions impredicativity inductive type families strictly positive type families

Mathematics Subject Classification ID

Logic in computer science (03B70)

Uses Software

Coq

This page was built for publication:

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