Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03351522n
Noun Concept
Categories: Lambda calculus, Combinatory logic
EN
B, C, K, W system  B,C,K,W System  BCKW
EN
The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This system was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry. Wikipedia
Definitions
Relations
Sources
EN
The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This system was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry. Wikipedia
IS A
model of computation
Wikipedia
EN
B, C, K, W system
Wikidata
EN
B, C, K, W system
Wikipedia Redirections
EN
B, C, K, W System, B,C,K,W System, B,C,K,W system, BCKW

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License