About: SKI combinator calculus

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technique used in functional programming

Property	Value
dbo:description	technique used in functional programming (en)
dbo:wikiPageExternalLink	http://dkeenan.com/Lambda/index.htm https://web.archive.org/web/20081029051502/http:/cstein.kings.cam.ac.uk/~chris/combinators.html http://www.angelfire.com/tx4/cus/combinator/birds.html https://web.archive.org/web/20131014210033/http:/www.urbit.org/2013/08/22/Chapter-2-nock.html http://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Examples/combinator_calculus/ http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-85/
dbo:wikiPageWikiLink	dbr:Syntactic_sugar dbr:Classical_logic dbr:Functional_programming dbc:Lambda_calculus dbr:Lambda_calculus dbr:Recursion dbc:Combinatory_logic dbr:Peirce's_law dbr:Modus_ponens dbr:Combinatory_logic dbr:Unlambda dbr:Iota_and_Jot dbr:Graph_reduction dbr:Implicational_propositional_calculus dbr:Algorithm dbr:Intuitionistic_logic dbr:Haskell_Curry dbr:Moses_Schönfinkel dbr:Law_of_excluded_middle dbr:B,_C,_K,_W_system dbr:Boolean_logic dbr:Binary_tree dbr:Model_of_computation dbr:Fixed_point_combinator dbr:To_Mock_a_Mockingbird dbr:Turing_complete dbr:Curry–Howard_isomorphism dbr:Sentential_logic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Math dbt:Refend dbt:Refbegin dbt:Citation_needed dbt:Mvar dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Combinatory_logic
gold:hypernym	dbr:System
rdfs:label	SKI combinator calculus (en) SKIコンビネータ計算 (ja) Combinadores SKI (pt) SKI组合子演算 (zh)
owl:sameAs	freebase:SKI combinator calculus wikidata:SKI combinator calculus dbpedia-zh:SKI combinator calculus dbpedia-ja:SKI combinator calculus dbpedia-pt:SKI combinator calculus dbpedia-hr:SKI combinator calculus dbpedia-global:SKI combinator calculus
prov:wasDerivedFrom	wikipedia-en:SKI_combinator_calculus?oldid=1290620809&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:SKI_combinator_calculus
is dbo:wikiPageDisambiguates of	dbr:Ski_(disambiguation)
is dbo:wikiPageRedirects of	dbr:SKI-calculus dbr:SKI_calculus dbr:SKI_combinator dbr:SK_calculus dbr:SK_combinator_calculus dbr:Ski_combinators
is dbo:wikiPageWikiLink of	dbr:List_of_functional_programming_topics dbr:Ski_(disambiguation) dbr:Monad_(functional_programming) dbr:Lambda_calculus dbr:Fixed-point_combinator dbr:Categorical_abstract_machine dbr:Combinatory_logic dbr:Unlambda dbr:Iota_and_Jot dbr:Coders_at_Work dbr:B,_C,_K,_W_system dbr:Binary_combinatory_logic dbr:To_Mock_a_Mockingbird dbr:SKI-calculus dbr:SKI_calculus dbr:SKI_combinator dbr:SK_calculus dbr:SK_combinator_calculus dbr:Ski_combinators
is rdfs:seeAlso of	dbr:Lambda_calculus
is foaf:primaryTopic of	wikipedia-en:SKI_combinator_calculus