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

Jump to:navigation, search

zbMath0624.68077MaRDI QIDQ3026376

Gérard Huet

Publication date: 1987

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

zbMATH Keywords

calculus of constructions natural deduction induction schema formal specifications constructive proofs design of programming environments

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theory of software (68N99)

Related Items (2)

On the proof theory of Coquand's calculus of constructions ⋮ Type Theories from Barendregt’s Cube for Theorem Provers

Uses Software

This page was built for publication:

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