Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/B,_C,_K,_W_system> ?p ?o }
Showing triples 1 to 44 of
44
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 "3828".
- B,_C,_K,_W_system wikiPageOutDegree "23".
- B,_C,_K,_W_system wikiPageRevisionID "697236449".
- 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 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 To_Mock_a_Mockingbird.
- B,_C,_K,_W_system wikiPageWikiLinkText "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 type Model.
- B,_C,_K,_W_system type Model.
- B,_C,_K,_W_system type Redirect.
- 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 Q845546.
- 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 B,C,K,W系统.
- B,_C,_K,_W_system wasDerivedFrom B,_C,_K,_W_system?oldid=697236449.
- B,_C,_K,_W_system isPrimaryTopicOf B,_C,_K,_W_system.