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
Christopher Strachey and fundamental concepts - MaRDI portal

Christopher Strachey and fundamental concepts

From MaRDI portal

Publication:1566881

Jump to:navigation, search

DOI10.1023/A:1010070228552zbMath0951.01031MaRDI QIDQ1566881

Publication date: 4 December 2000

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Related Items (1)

The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian

This page was built for publication: Christopher Strachey and fundamental concepts

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