The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This systems was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry (1930).

PropertyValue
dbpprop:abstract
  • The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This systems was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry (1930). The combinators are defined as follows: B x y z = x (y z) C x y z = x z y K x y = x W x y = x y y Intuitively, B x y is the composition of x and y; C x y z interchanges the arguments y and z; K x y "ignores" the argument y; W x y duplicates the argument y. In recent decades, the SKI combinator calculus, with only two primitive combinators, K and S, has become the canonical approach to combinatory logic. B, C, and W can be expressed in terms of S and K as follows: B = S (K S) K C = S (S S) (K K) W = S S (K) Going the other direction, SKI can be defined in terms of B,C,K,W as: S = B (B C) (B B)
  • El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL] Grundlagen der kombinatorischen Logik.
  • Haskell Curry 在他的1930年博士论文《Grundlagen der kombinatorischen Logik》中提议了一个組合子邏輯系統。它带有基本组合子 B、C、K 和 W（采用了现在的命名）。
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W. This systems was discovered by Haskell Curry in his doctoral thesis Grundlagen der kombinatorischen Logik, whose results are set out in Curry (1930).
  • El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL] Grundlagen der kombinatorischen Logik.
  • Haskell Curry 在他的1930年博士论文《Grundlagen der kombinatorischen Logik》中提议了一个組合子邏輯系統。它带有基本组合子 B、C、K 和 W（采用了现在的命名）。
rdfs:label
  • B,C,K,W system
  • Sistema B,C,K,W
  • B,C,K,W系统
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of