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

scientific article; zbMATH DE number 1114034

From MaRDI portal

Publication:4375803

Jump to:navigation, search

zbMath0886.03011MaRDI QIDQ4375803

Jerzy Tiuryn

Publication date: 8 February 1998

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

zbMATH Keywords

coherence cut elimination sequent calculus decidability natural deduction semantics type reconstruction subject reduction subtyping polymorphic types

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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