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

scientific article; zbMATH DE number 1342292

From MaRDI portal

Publication:4263883

Jump to:navigation, search

zbMath0933.03033MaRDI QIDQ4263883

Jan Zwanenburg

Publication date: 21 November 1999

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

zbMATH Keywords

typing subject reduction minimal typing pure type systems with subtyping

Mathematics Subject Classification ID

Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Automath Type Inclusion in Barendregt’s Cube ⋮ Dependent types with subtyping and late-bound overloading

This page was built for publication:

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