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

scientific article; zbMATH DE number 1391399

From MaRDI portal

Publication:4935999

Jump to:navigation, search

zbMath0947.68032MaRDI QIDQ4935999

Jan Zwanenburg

Publication date: 20 January 2000

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

zbMATH Keywords

theorem proving higher-order logic constructive type theory pure type systems abstract data types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (3)

Higher-order subtyping and its decidability ⋮ From Algebras and Coalgebras to Dialgebras ⋮ Subtyping dependent types

Uses Software

Coq

This page was built for publication:

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