About: Supercombinator

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

Bound and self-contained mathematical expression

Property	Value
dbo:description	bound and self-contained mathematical expression (en)
dbo:wikiPageExternalLink	https://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/
dbo:wikiPageWikiLink	dbc:Implementation_of_functional_programming_languages dbc:Lambda_calculus dbr:Lambda_calculus dbr:Free_variables_and_bound_variables dbr:Arity dbr:Lambda_lifting dbr:Constant_(mathematics) dbc:Functional_programming dbr:Lambda_abstraction dbr:Mathematical_expression dbr:Combinator
dbp:wikiPageUsesTemplate	dbt:Comp-sci-theory-stub dbt:Disputed dbt:Cleanup-rewrite dbt:Short_description
dct:subject	dbc:Implementation_of_functional_programming_languages dbc:Lambda_calculus dbc:Functional_programming
gold:hypernym	dbr:Expression
rdfs:label	Supercombinator (en) Суперкомбинатор (ru)
owl:sameAs	freebase:Supercombinator wikidata:Supercombinator dbpedia-ru:Supercombinator dbpedia-hr:Supercombinator dbpedia-global:Supercombinator
prov:wasDerivedFrom	wikipedia-en:Supercombinator?oldid=1078602416&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Supercombinator
is dbo:wikiPageWikiLink of	dbr:Categorical_abstract_machine dbr:Combinatory_logic dbr:Index_of_philosophy_articles_(R–Z) dbr:Lambda_lifting
is foaf:primaryTopic of	wikipedia-en:Supercombinator

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International