Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Combinatory_logic> ?p ?o }
- Combinatory_logic abstract "Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.".
- Combinatory_logic wikiPageExternalLink clache.
- Combinatory_logic wikiPageExternalLink combinators.html.
- Combinatory_logic wikiPageExternalLink index.htm.
- Combinatory_logic wikiPageExternalLink curry-howard.pdf.
- Combinatory_logic wikiPageExternalLink sici?sici=0003-049X%2819600615%29104%3A3%3C343%3AVEA%3E2.0.CO%3B2-W.
- Combinatory_logic wikiPageExternalLink logic-combinatory.
- Combinatory_logic wikiPageExternalLink 1183743187.
- Combinatory_logic wikiPageExternalLink LC.pdf.
- Combinatory_logic wikiPageExternalLink Wolfengagen_CLP-2003-En.djvu.
- Combinatory_logic wikiPageExternalLink birds.html.
- Combinatory_logic wikiPageExternalLink catalogue.asp?isbn=9780521898850.
- Combinatory_logic wikiPageExternalLink Founds-FP.ps.gz.
- Combinatory_logic wikiPageExternalLink library?a=p&p=about&c=curry.
- Combinatory_logic wikiPageID "149848".
- Combinatory_logic wikiPageLength "39428".
- Combinatory_logic wikiPageOutDegree "95".
- Combinatory_logic wikiPageRevisionID "683125149".
- Combinatory_logic wikiPageWikiLink APL_(programming_language).
- Combinatory_logic wikiPageWikiLink Alonzo_Church.
- Combinatory_logic wikiPageWikiLink Applicative_computing_systems.
- Combinatory_logic wikiPageWikiLink Associative.
- Combinatory_logic wikiPageWikiLink Associative_property.
- Combinatory_logic wikiPageWikiLink B,C,K,W_System.
- Combinatory_logic wikiPageWikiLink B,C,K,W_system.
- Combinatory_logic wikiPageWikiLink Belgium.
- Combinatory_logic wikiPageWikiLink Beta_normal_form.
- Combinatory_logic wikiPageWikiLink Big_O_notation.
- Combinatory_logic wikiPageWikiLink Bound_variable.
- Combinatory_logic wikiPageWikiLink Categorical_abstract_machine.
- Combinatory_logic wikiPageWikiLink Category:Combinatory_logic.
- Combinatory_logic wikiPageWikiLink Category:Lambda_calculus.
- Combinatory_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Combinatory_logic wikiPageWikiLink Church-Turing_thesis.
- Combinatory_logic wikiPageWikiLink Church_encoding.
- Combinatory_logic wikiPageWikiLink Church–Turing_thesis.
- Combinatory_logic wikiPageWikiLink Combinational_logic.
- Combinatory_logic wikiPageWikiLink Combinatory_categorial_grammar.
- Combinatory_logic wikiPageWikiLink Computability_theory.
- Combinatory_logic wikiPageWikiLink Computation.
- Combinatory_logic wikiPageWikiLink Computer_science.
- Combinatory_logic wikiPageWikiLink Curry–Howard_correspondence.
- Combinatory_logic wikiPageWikiLink Curry–Howard_isomorphism.
- Combinatory_logic wikiPageWikiLink Cylindric_algebra.
- Combinatory_logic wikiPageWikiLink Dana_Scott.
- Combinatory_logic wikiPageWikiLink David_Turner_(computer_scientist).
- Combinatory_logic wikiPageWikiLink Deduction_theorem.
- Combinatory_logic wikiPageWikiLink Explicit_substitution.
- Combinatory_logic wikiPageWikiLink Expressive_power_(computer_science).
- Combinatory_logic wikiPageWikiLink Extensional_equality.
- Combinatory_logic wikiPageWikiLink Extensionality.
- Combinatory_logic wikiPageWikiLink First-order_logic.
- Combinatory_logic wikiPageWikiLink Fixed-point_combinator.
- Combinatory_logic wikiPageWikiLink Fixed_point_combinator.
- Combinatory_logic wikiPageWikiLink Formal_parameter.
- Combinatory_logic wikiPageWikiLink Free_variable.
- Combinatory_logic wikiPageWikiLink Free_variables_and_bound_variables.
- Combinatory_logic wikiPageWikiLink Functional_programming.
- Combinatory_logic wikiPageWikiLink Functional_programming_languages.
- Combinatory_logic wikiPageWikiLink Graph_reduction_machine.
- Combinatory_logic wikiPageWikiLink Haskell_Curry.
- Combinatory_logic wikiPageWikiLink Hendrik_Pieter_Barendregt.
- Combinatory_logic wikiPageWikiLink Henk_Barendregt.
- Combinatory_logic wikiPageWikiLink Higher-order_function.
- Combinatory_logic wikiPageWikiLink Hilbert-style_deduction_system.
- Combinatory_logic wikiPageWikiLink Hilbert_system.
- Combinatory_logic wikiPageWikiLink Inclusion_(set_theory).
- Combinatory_logic wikiPageWikiLink Intuitionistic_logic.
- Combinatory_logic wikiPageWikiLink Iota_and_Jot.
- Combinatory_logic wikiPageWikiLink J_(programming_language).
- Combinatory_logic wikiPageWikiLink J_programming_language.
- Combinatory_logic wikiPageWikiLink Jean_van_Heijenoort.
- Combinatory_logic wikiPageWikiLink Journal_of_Symbolic_Logic.
- Combinatory_logic wikiPageWikiLink Kenneth_E._Iverson.
- Combinatory_logic wikiPageWikiLink Kripke_semantics.
- Combinatory_logic wikiPageWikiLink Lambda_calculus.
- Combinatory_logic wikiPageWikiLink Mathematical_logic.
- Combinatory_logic wikiPageWikiLink Model_theory.
- Combinatory_logic wikiPageWikiLink Moses_Schönfinkel.
- Combinatory_logic wikiPageWikiLink Non-strict_programming_language.
- Combinatory_logic wikiPageWikiLink Normal_form_(abstract_rewriting).
- Combinatory_logic wikiPageWikiLink Parameter_(computer_programming).
- Combinatory_logic wikiPageWikiLink Predicate_functor_logic.
- Combinatory_logic wikiPageWikiLink Princeton_University.
- Combinatory_logic wikiPageWikiLink Proof_theory.
- Combinatory_logic wikiPageWikiLink Quantifier_(logic).
- Combinatory_logic wikiPageWikiLink Raymond_Smullyan.
- Combinatory_logic wikiPageWikiLink Recursion.
- Combinatory_logic wikiPageWikiLink Rices_theorem.
- Combinatory_logic wikiPageWikiLink Robert_Feys.
- Combinatory_logic wikiPageWikiLink SASL_(programming_language).
- Combinatory_logic wikiPageWikiLink SASL_programming_language.
- Combinatory_logic wikiPageWikiLink SKI_combinator_calculus.
- Combinatory_logic wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Combinatory_logic wikiPageWikiLink Strict_programming_language.
- Combinatory_logic wikiPageWikiLink Subset.
- Combinatory_logic wikiPageWikiLink Supercombinator.
- Combinatory_logic wikiPageWikiLink Tacit_programming.
- Combinatory_logic wikiPageWikiLink To_Mock_a_Mockingbird.
- Combinatory_logic wikiPageWikiLink Turing_machine.