Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/B,C,K,W_system> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- B,C,K,W_system 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 system 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 yIntuitively, B x y is the composition of the arguments x and y; C x y z swaps the arguments y and z; K x y discards 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 (K (S (K S) K)) S) (K K) K = K W = S S (S K)Going the other direction, SKI can be defined in terms of B,C,K,W as: I = W K K = K S = B (B (B W) C) (B B) = B (B W) (B B C).↑".
- B,C,K,W_system wikiPageExternalLink combinators.html.
- B,C,K,W_system wikiPageExternalLink index.htm.
- B,C,K,W_system wikiPageExternalLink birds.html.
- B,C,K,W_system wikiPageID "550740".
- B,C,K,W_system wikiPageLength "3835".
- B,C,K,W_system wikiPageOutDegree "23".
- B,C,K,W_system wikiPageRevisionID "633438202".
- B,C,K,W_system wikiPageWikiLink Argument_(computer_science).
- B,C,K,W_system wikiPageWikiLink Category:Combinatory_logic.
- B,C,K,W_system wikiPageWikiLink Category:Lambda_calculus.
- B,C,K,W_system wikiPageWikiLink Classical_logic.
- B,C,K,W_system wikiPageWikiLink Combinatory_logic.
- B,C,K,W_system wikiPageWikiLink Function_composition.
- B,C,K,W_system wikiPageWikiLink Haskell_Curry.
- B,C,K,W_system wikiPageWikiLink Hendrik_Pieter_Barendregt.
- B,C,K,W_system wikiPageWikiLink Henk_Barendregt.
- B,C,K,W_system wikiPageWikiLink Implicational_propositional_calculus.
- B,C,K,W_system wikiPageWikiLink Intuitionistic_logic.
- B,C,K,W_system wikiPageWikiLink Lambda_calculus.
- B,C,K,W_system wikiPageWikiLink Law_of_excluded_middle.
- B,C,K,W_system wikiPageWikiLink Modus_ponens.
- B,C,K,W_system wikiPageWikiLink Parameter_(computer_programming).
- B,C,K,W_system wikiPageWikiLink Peirces_law.
- B,C,K,W_system wikiPageWikiLink Propositional_calculus.
- B,C,K,W_system wikiPageWikiLink Raymond_Smullyan.
- B,C,K,W_system wikiPageWikiLink SKI_combinator_calculus.
- B,C,K,W_system wikiPageWikiLink Sentential_logic.
- B,C,K,W_system wikiPageWikiLink To_Mock_a_Mockingbird.
- B,C,K,W_system wikiPageWikiLinkText "B,C,K,W system".
- B,C,K,W_system wikiPageWikiLinkText "B,C,K,W_system".
- B,C,K,W_system hasPhotoCollection B,C,K,W_system.
- B,C,K,W_system wikiPageUsesTemplate Template:Cite_book.
- B,C,K,W_system subject Category:Combinatory_logic.
- B,C,K,W_system subject Category:Lambda_calculus.
- B,C,K,W_system hypernym Variant.
- B,C,K,W_system comment "The B, C, K, W system is a variant of combinatory logic that takes as primitive the combinators B, C, K, and W.".
- B,C,K,W_system label "B,C,K,W system".
- B,C,K,W_system sameAs Sistema_B,C,K,W.
- B,C,K,W_system sameAs B,C,K,Wシステム.
- B,C,K,W_system sameAs m.02p3k4.
- B,C,K,W_system sameAs Q845546.
- B,C,K,W_system sameAs Q845546.
- B,C,K,W_system sameAs B,C,K,W系统.
- B,C,K,W_system wasDerivedFrom B,C,K,W_system?oldid=633438202.
- B,C,K,W_system isPrimaryTopicOf B,C,K,W_system.