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:3659785

Jump to:navigation, search

zbMath0514.03042MaRDI QIDQ3659785

Grigori Mints

Publication date: 1980

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

zbMATH Keywords

proof theory category theory cartesian closed categories

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof theory and constructive mathematics (03F99)

Related Items (5)

Some lambda calculi with categorical sums and products ⋮ Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective ⋮ Closed categories and the theory of proofs ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS ⋮ Aspects of Categorical Recursion Theory

This page was built for publication:

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