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

scientific article; zbMATH DE number 1497734

From MaRDI portal

Publication:4499144

Jump to:navigation, search

zbMath0958.68099MaRDI QIDQ4499144

Andrew M. Pitts

Publication date: 6 March 2001

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

zbMATH Keywords

tripos Hyland's realizability toposes

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (2)

Weakest preconditions in fibrations ⋮ Weakest preconditions in fibrations

This page was built for publication:

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