About: Binary combinatory logic

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

Computer programming language

Property	Value
dbo:description	computer programming language (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Rule_110_SK_Basis.png?width=300
dbo:wikiPageExternalLink	https://writings.stephenwolfram.com/2020/12/combinators-a-centennial-view/%7Curl-status=live%7Caccess-date=2021-02-17%7Cwebsite=writings.stephenwolfram.com%7Clanguage=en%7Carchive-url=https:/web.archive.org/web/20201206200216/https:/writings.stephenwolfram.com/2020/12/combinators-a-centennial-view/ https://www.youtube.com/watch%3Fv=koqL2nfrNAE&list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV https://ghostarchive.org/varchive/youtube/20211221/koqL2nfrNAE http://www.ioccc.org/2012/tromp/hint.html https://tromp.github.io/cl/cl.html
dbo:wikiPageWikiLink	dbr:SKI_combinator_calculus dbc:Combinatory_logic dbc:Algorithmic_information_theory dbr:Turing_completeness dbr:Parsing dbr:Backus–Naur_form dbr:Combinatory_logic dbr:Denotational_semantics dbr:Iota_and_Jot dbr:Programming_language dbr:Cellular_automaton dbr:Operational_semantics dbr:Rewriting dbr:Kolmogorov_complexity dbr:Turing_machine dbr:File:Rule_110_SK_Basis.png dbr:Turing-complete
dbp:wikiPageUsesTemplate	dbt:Context dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Cbignore dbt:Short_description
dct:subject	dbc:Combinatory_logic dbc:Algorithmic_information_theory
gold:hypernym	dbr:Formulation
rdfs:label	Binary combinatory logic (en) Lógica combinatória binária (pt)
owl:sameAs	freebase:Binary combinatory logic wikidata:Binary combinatory logic dbpedia-pt:Binary combinatory logic dbpedia-global:Binary combinatory logic
prov:wasDerivedFrom	wikipedia-en:Binary_combinatory_logic?oldid=1282065680&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Rule_110_SK_Basis.png
foaf:isPrimaryTopicOf	wikipedia-en:Binary_combinatory_logic
is dbo:wikiPageDisambiguates of	dbr:BCL
is dbo:wikiPageRedirects of	dbr:Binary_lambda_calculus dbr:Binary_Combinatory_Logic
is dbo:wikiPageWikiLink of	dbr:Constructed_language dbr:BCL dbr:Iota_and_Jot dbr:John_Tromp dbr:Binary_lambda_calculus dbr:Binary_Combinatory_Logic
is foaf:primaryTopic of	wikipedia-en:Binary_combinatory_logic