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
Clones, closed categories, and combinatory logic - MaRDI portal

Clones, closed categories, and combinatory logic

From MaRDI portal

Publication:6629524

Jump to:navigation, search

DOI10.1007/978-3-031-57231-9_8MaRDI QIDQ6629524

Philip Saville

Publication date: 30 October 2024

zbMATH Keywords

lambda calculus categorical semantics combinatory logic abstract clones cartesian closed categories closed categories

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

This page was built for publication: Clones, closed categories, and combinatory logic

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