BabelNet

bn:03351522n

Noun Concept

No term available

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

Relations

Sources

IS A

نموذج حوسبة