Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/SKI_combinator_calculus> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- SKI_combinator_calculus abstract "SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped lambda calculus. It can be thought of as a computer programming language, though it is not convenient for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language.All operations in lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators). In fact, the symbol I is added only for convenience, and just the other two suffice for all of the purposes of the SKI system.Although the most formal representation of the objects in this system requires binary trees, they are usually represented, for typesetability, as parenthesized expressions, either with all the subtrees parenthesized, or only the right-side children subtrees parenthesized. So, the tree whose left subtree is the tree KS and whose right subtree is the tree SK is usually typed as ((KS)(SK)), or more simply as KS(SK), instead of being fully drawn as a tree (as formality and readability would require).".
- SKI_combinator_calculus wikiPageExternalLink combinators.html.
- SKI_combinator_calculus wikiPageExternalLink index.htm.
- SKI_combinator_calculus wikiPageExternalLink combinator_calculus.
- SKI_combinator_calculus wikiPageExternalLink birds.html.
- SKI_combinator_calculus wikiPageExternalLink ECS-LFCS-89-85.
- SKI_combinator_calculus wikiPageExternalLink Chapter-2-nock.html.
- SKI_combinator_calculus wikiPageID "1232841".
- SKI_combinator_calculus wikiPageLength "12363".
- SKI_combinator_calculus wikiPageOutDegree "29".
- SKI_combinator_calculus wikiPageRevisionID "701124369".
- SKI_combinator_calculus wikiPageWikiLink Algorithm.
- SKI_combinator_calculus wikiPageWikiLink B,_C,_K,_W_system.
- SKI_combinator_calculus wikiPageWikiLink Binary_tree.
- SKI_combinator_calculus wikiPageWikiLink Boolean_algebra.
- SKI_combinator_calculus wikiPageWikiLink Category:Combinatory_logic.
- SKI_combinator_calculus wikiPageWikiLink Category:Lambda_calculus.
- SKI_combinator_calculus wikiPageWikiLink Classical_logic.
- SKI_combinator_calculus wikiPageWikiLink Combinatory_logic.
- SKI_combinator_calculus wikiPageWikiLink Fixed-point_combinator.
- SKI_combinator_calculus wikiPageWikiLink Functional_programming.
- SKI_combinator_calculus wikiPageWikiLink Graph_reduction.
- SKI_combinator_calculus wikiPageWikiLink Implicational_propositional_calculus.
- SKI_combinator_calculus wikiPageWikiLink Intuitionistic_logic.
- SKI_combinator_calculus wikiPageWikiLink Iota_and_Jot.
- SKI_combinator_calculus wikiPageWikiLink Lambda_calculus.
- SKI_combinator_calculus wikiPageWikiLink Law_of_excluded_middle.
- SKI_combinator_calculus wikiPageWikiLink Model_of_computation.
- SKI_combinator_calculus wikiPageWikiLink Modus_ponens.
- SKI_combinator_calculus wikiPageWikiLink Peirces_law.
- SKI_combinator_calculus wikiPageWikiLink Propositional_calculus.
- SKI_combinator_calculus wikiPageWikiLink Raymond_Smullyan.
- SKI_combinator_calculus wikiPageWikiLink Recursion.
- SKI_combinator_calculus wikiPageWikiLink Syntactic_sugar.
- SKI_combinator_calculus wikiPageWikiLink To_Mock_a_Mockingbird.
- SKI_combinator_calculus wikiPageWikiLink Turing_completeness.
- SKI_combinator_calculus wikiPageWikiLink Unlambda.
- SKI_combinator_calculus wikiPageWikiLinkText "SKI basis combinators".
- SKI_combinator_calculus wikiPageWikiLinkText "SKI combinator calculus".
- SKI_combinator_calculus wikiPageWikiLinkText "SKI-calculus".
- SKI_combinator_calculus wikiPageWikiLinkText "SKI_combinator_calculus".
- SKI_combinator_calculus wikiPageWikiLinkText "combinator calculus".
- SKI_combinator_calculus wikiPageUsesTemplate Template:Math.
- SKI_combinator_calculus wikiPageUsesTemplate Template:Mvar.
- SKI_combinator_calculus subject Category:Combinatory_logic.
- SKI_combinator_calculus subject Category:Lambda_calculus.
- SKI_combinator_calculus hypernym System.
- SKI_combinator_calculus type Model.
- SKI_combinator_calculus type Model.
- SKI_combinator_calculus comment "SKI combinator calculus is a computational system that may be perceived as a reduced version of untyped lambda calculus. It can be thought of as a computer programming language, though it is not convenient for writing software. Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language.All operations in lambda calculus are expressed in SKI as binary trees whose leaves are one of the three symbols S, K, and I (called combinators).".
- SKI_combinator_calculus label "SKI combinator calculus".
- SKI_combinator_calculus sameAs Q857813.
- SKI_combinator_calculus sameAs SKI_kombinatorni_račun.
- SKI_combinator_calculus sameAs SKIコンビネータ計算.
- SKI_combinator_calculus sameAs Combinadores_SKI.
- SKI_combinator_calculus sameAs m.04kn35.
- SKI_combinator_calculus sameAs Q857813.
- SKI_combinator_calculus sameAs SKI组合子演算.
- SKI_combinator_calculus wasDerivedFrom SKI_combinator_calculus?oldid=701124369.
- SKI_combinator_calculus isPrimaryTopicOf SKI_combinator_calculus.