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

scientific article; zbMATH DE number 1361477

From MaRDI portal

Publication:4699295

Jump to:navigation, search

zbMath0935.03023MaRDI QIDQ4699295

Publication date: 9 May 2000

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

zbMATH Keywords

strong normalization adding subtyping to proof checkers decidability of subtyping subtyping extension of the calculus of constructions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Subtyping dependent types ⋮ Dependent types with subtyping and late-bound overloading

Uses Software

Coq

This page was built for publication:

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