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

Jump to:navigation, search

zbMath0639.68103MaRDI QIDQ3780494

Uday S. Reddy

Publication date: 1987

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

zbMATH Keywords

functional languages operational semantics denotational semantics logic programming lambda calculus narrowing semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Conditional rewriting in focus ⋮ Axiomatization of a functional logic language ⋮ Lazy narrowing in a graph machine ⋮ Dynamic detection of determinism in functional logic languages ⋮ Relating the implementation techniques of functional and functional logic languages

This page was built for publication:

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