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

scientific article; zbMATH DE number 599151

From MaRDI portal

Publication:4297417

Jump to:navigation, search

zbMath0798.03011MaRDI QIDQ4297417

Rainer Kerth

Publication date: 3 November 1994

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

zbMATH Keywords

semantics graph models models of lambda calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Easiness in graph models ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models

This page was built for publication:

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