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

Jump to:navigation, search

zbMath0602.68011MaRDI QIDQ3738543

Christopher T. Haynes

Publication date: 1986

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

zbMATH Keywords

state-space model logic programming backtracking Lisp procedural programming languages control flexibility control transfers first-class continuation logic variable bindings

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Theory of computing (68Q99)

Related Items (2)

Fifty Years of Prolog and Beyond ⋮ A type-theoretic foundation of delimited continuations

This page was built for publication:

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