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
A Note on Absolutely Unorderable Combinatory Algebras - MaRDI portal

A Note on Absolutely Unorderable Combinatory Algebras

From MaRDI portal

Publication:4434611

Jump to:navigation, search

DOI10.1093/LOGCOM/13.4.481zbMath1042.03042OpenAlexW2097262042MaRDI QIDQ4434611

Stefania Lusin, Antonino Salibra

Publication date: 10 November 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d7a35a05d820d3d7f5d170ee2f8428aa0b1be1a6

zbMATH Keywords

lambda calculus combinatory algebra lambda abstraction algebra lambda theory

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered structures (06F99) Combinatory logic and lambda calculus (03B40)

This page was built for publication: A Note on Absolutely Unorderable Combinatory Algebras

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