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

Jump to:navigation, search

zbMath0657.68004MaRDI QIDQ3805871

B. A. Trakhtenbrot

Publication date: 1988

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

zbMATH Keywords

Turing machines historical survey programming languages denotational semantics ISWIM LISP Church's lambda calculus

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Turing machines and related notions (03D10) History of computer science (68-03) Combinatory logic and lambda calculus (03B40)

Related Items (2)

From Logic to Theoretical Computer Science – An Update ⋮ The Church-Turing Thesis over Arbitrary Domains

This page was built for publication:

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