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

Jump to:navigation, search

zbMath0716.03005MaRDI QIDQ3202989

Andrew M. Pitts

Publication date: 1989

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

zbMATH Keywords

polymorphic lambda calculus cartesian closed category polymorphic types higher-order type theory logic of toposes powertypes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (3)

The Girard-Reynolds isomorphism ⋮ The Girard-Reynolds isomorphism (second edition) ⋮ From constructivism to computer science

This page was built for publication:

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