About: Combinatory logic

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

Logical formalism using combinators instead of variables

Property	Value
dbo:description	branche de la logique mathématique (fr) approccio per eliminare la necessità di variabili quantificate nella logica matematica (it) logika formalismo uzanta kombinilojn anstataŭ variabloj (eo) logical formalism using combinators instead of variables (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20051016213140/http:/folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf https://web.archive.org/web/20070209093802/http:/www.sadl.uleth.ca/gsdl/cgi-bin/library%3Fa=p&p=about&c=curry https://web.archive.org/web/20160304083208/http:/tromp.github.io/cl/LC.pdf https://archive.org/details/CLP-2003_780 https://archive.org/details/functionalprogra0000fiel http://www.cambridge.org/catalogue/catalogue.asp%3Fisbn=9780521898850 http://plato.stanford.edu/entries/logic-combinatory/ http://www.cip.ifi.lmu.de/~langeh/test/1924%20-%20Schoenfinkel%20-%20Ueber%20die%20Bausteine%20der%20mathematischen%20Logik.pdf https://www.wolfram-media.com/products/combinators-a-centennial-view.html http://www.cl.cam.ac.uk/Teaching/Lectures/founds-fp/Founds-FP.ps.gz http://projecteuclid.org/euclid.jsl/1183743187%7Cmr=1043546%7Cjournal= http://code.google.com/p/clache 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
dbo:wikiPageWikiLink	dbr:Functional_programming dbr:University_of_Warsaw dbr:Oxford_University_Press dbr:Harvard_University_Press dbr:Henk_Barendregt dbc:Lambda_calculus dbr:Lambda_calculus dbr:Recursion dbr:SKI_combinator_calculus dbr:Dana_Scott dbr:Quantifier_(logic) dbc:Combinatory_logic dbr:Combinatory_categorial_grammar dbr:Cambridge_University_Press dbr:First-order_logic dbr:Categorical_abstract_machine dbr:APL_(programming_language) dbr:Jean_van_Heijenoort dbr:Proof_theory dbr:Free_variables_and_bound_variables dbr:Church_encoding dbr:Tacit_programming dbr:David_Turner_(computer_scientist) dbr:Big_O_notation dbc:Logic_in_computer_science dbr:Combinational_logic dbr:Willard_Van_Orman_Quine dbr:Free_variable dbr:Normal_form_(abstract_rewriting) dbr:Belgium dbr:Kripke_semantics dbr:Combinatory_logic dbr:Explicit_substitution dbr:Expressive_power_(computer_science) dbr:Beta_normal_form dbr:Cylindric_algebra dbr:Computation dbr:Unlambda dbr:Computability_theory dbr:Up_to dbr:Iota_and_Jot dbr:Graph_reduction_machine dbr:Intuitionistic_logic dbr:Computer_science dbr:Alonzo_Church dbr:Haskell_Curry dbr:Kenneth_E._Iverson dbr:Q.E.D. dbr:University_of_Copenhagen dbr:Supercombinator dbr:Applicative_computing_systems dbr:Moses_Schönfinkel dbr:Mathematical_logic dbr:Model_theory dbr:Higher-order_function dbr:Raymond_Smullyan dbr:B,_C,_K,_W_system dbr:Rice's_theorem dbr:Function_application dbr:Princeton_University dbr:Turing_machine dbr:Stanford_Encyclopedia_of_Philosophy dbr:Predicate_functor_logic dbr:Deduction_theorem dbr:Model_of_computation dbr:Journal_of_Symbolic_Logic dbr:Robert_Feys dbr:Wolfram_Media dbr:Fixed_point_combinator dbr:Inclusion_(set_theory) dbr:To_Mock_a_Mockingbird dbr:Katalin_Bimbó dbr:Predicate_logic dbr:North-Holland_Publishing_Company dbr:J_programming_language dbr:Extensional_equality dbr:B,_C,_K,_W_System dbr:Formal_parameter dbr:Church-Turing_thesis dbr:Curry–Howard_isomorphism dbr:Functional_programming_languages dbr:Hilbert-style_deduction_system dbr:Associative dbr:Non-strict_programming_language dbr:SASL_programming_language
dbp:wikiPageUsesTemplate	dbt:))! dbt:Mset dbt:Authority_control dbt:Cite_book dbt:Cite_web dbt:Main dbt:Reflist dbt:Math dbt:Cite_journal dbt:Sfn dbt:Sub dbt:Cite_AV_media dbt:!( dbt:Spaces dbt:ISBN dbt:Distinguish dbt:Mvar dbt:Math_proof dbt:Harvtxt dbt:Tmath dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Combinatory_logic dbc:Logic_in_computer_science
gold:hypernym	dbr:Notation
rdf:type	dbo:AcademicSubject
rdfs:label	Combinatory logic (en) Lògica combinatòria (ca) Lógica combinatoria (es) Kombinatorische Logik (de) Logique combinatoire (fr) コンビネータ論理 (ja) Combinatorische logica (nl) Lógica combinatória (pt) Rachunek kombinatorów (pl) Комбинаторная логика (ru) Комбінаторна логіка (uk) 组合子逻辑 (zh)
owl:sameAs	freebase:Combinatory logic wikidata:Combinatory logic dbpedia-nl:Combinatory logic dbpedia-de:Combinatory logic dbpedia-fr:Combinatory logic dbpedia-zh:Combinatory logic dbpedia-ja:Combinatory logic dbpedia-pt:Combinatory logic dbpedia-es:Combinatory logic dbpedia-ru:Combinatory logic dbpedia-pl:Combinatory logic dbpedia-ca:Combinatory logic http://d-nb.info/gnd/4164750-6 dbpedia-az:Combinatory logic dbpedia-gd:Combinatory logic dbpedia-gl:Combinatory logic dbpedia-hr:Combinatory logic dbpedia-hy:Combinatory logic dbpedia-no:Combinatory logic dbpedia-sh:Combinatory logic dbpedia-uk:Combinatory logic dbpedia-global:Combinatory logic
prov:wasDerivedFrom	wikipedia-en:Combinatory_logic?oldid=1284059345&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Combinatory_logic
is dbo:knownFor of	dbr:Haskell_Curry dbr:Moses_Schönfinkel
is dbo:wikiPageRedirects of	dbr:Abstraction_elimination dbr:S_combinator dbr:K_combinator dbr:Combinator dbr:Combinator_calculus dbr:Combinatorial_logic_(mathematics) dbr:Combinators dbr:Combinatory_Logic dbr:Combinatory_algebra dbr:Lambda_elimination dbr:S-combinator
is dbo:wikiPageWikiLink of	dbr:List_of_computability_and_complexity_topics dbr:Normalisation_by_evaluation dbr:Functional_programming dbr:Fixed_point_(mathematics) dbr:Categorial_grammar dbr:Deductive_lambda_calculus dbr:Function_composition dbr:Lambda_calculus dbr:SKI_combinator_calculus dbr:Combinatory_categorial_grammar dbr:Mark_Steedman dbr:Omega dbr:Fixed-point_combinator dbr:Categorical_abstract_machine dbr:Algebraic_logic dbr:Hindley–Milner_type_system dbr:Propositional_calculus dbr:Type_theory dbr:Free_variables_and_bound_variables dbr:Tacit_programming dbr:Combinational_logic dbr:Curry's_paradox dbr:Word_problem_(mathematics) dbr:Church–Turing_thesis dbr:Parameter dbr:Combinatory_logic dbr:Explicit_substitution dbr:Cylindric_algebra dbr:Index_of_philosophy_articles_(A–C) dbr:List_of_Russian_mathematicians dbr:Unlambda dbr:Computability dbr:Program_counter dbr:Iota_and_Jot dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Index_of_logic_articles dbr:Outline_of_software_engineering dbr:Probabilistic_logic_network dbr:Lazy_evaluation dbr:Dependent_type dbr:Abstract_algebraic_logic dbr:Eugene_McDonnell dbr:De_Bruijn_index dbr:Haskell_Curry dbr:Applicative_computing_systems dbr:Moses_Schönfinkel dbr:Mathematical_logic dbr:Hilbert_system dbr:Laws_of_Form dbr:Higher-order_function dbr:History_of_the_function_concept dbr:Raymond_Smullyan dbr:B,_C,_K,_W_system dbr:Theory_of_computation dbr:List_of_Russian_people dbr:Applicative_universal_grammar dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Substructural_type_system dbr:Kleene–Rosser_paradox dbr:Simply_typed_lambda_calculus dbr:Corrado_Böhm dbr:Curry–Howard_correspondence dbr:List_of_Russian_scientists dbr:Combinator_library dbr:Binary_combinatory_logic dbr:Predicate_functor_logic dbr:Richard_Statman dbr:Deduction_theorem dbr:Scott–Curry_theorem dbr:Model_of_computation dbr:Computable_topology dbr:Constructive_set_theory dbr:Lambda_calculus_definition dbr:Abstraction_elimination dbr:Anonymous_recursion dbr:S_combinator dbr:To_Mock_a_Mockingbird dbr:K_combinator dbr:Combinator dbr:Combinator_calculus dbr:Combinatorial_logic_(mathematics) dbr:Combinators dbr:Combinatory_Logic dbr:Combinatory_algebra dbr:Lambda_elimination dbr:S-combinator
is dbp:knownFor of	dbr:Haskell_Curry dbr:Moses_Schönfinkel
is foaf:primaryTopic of	wikipedia-en:Combinatory_logic