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

scientific article; zbMATH DE number 6744150

From MaRDI portal

Publication:5277836

Jump to:navigation, search

DOI10.4230/LIPIcs.TLCA.2015.138zbMath1433.03036MaRDI QIDQ5277836

Pierre Clairambault, Simon Castellan, Peter Dybjer

Publication date: 12 July 2017

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

zbMATH Keywords

undecidability locally Cartesian closed categories extensional type theory

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items (2)

On generalized algebraic theories and categories with families ⋮ Categories with Families: Unityped, Simply Typed, and Dependently Typed

This page was built for publication:

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