About: Fixed-point combinator

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Higher-order function y for which y f = f (y f)

Property	Value
dbo:description	fonction d'ordre supérieur (fr) funzione di ordine superiore (it) higher-order function y for which y f = f (y f) (en) Funktion höherer Ordnung y, für die gilt: y f = f (y f) (de) 高阶函数y，其中y f = f (y f) (zh)
dbo:wikiPageExternalLink	https://hypercubed.github.io/joy/html/j05cmp.html https://okasaki.blogspot.com/2008/07/functional-programming-inada.html https://www.brics.dk/RS/05/1/BRICS-RS-05-1.pdf https://www.sbf5.com/~cduan/technical/ruby/ycombinator.shtml https://docs.google.com/viewer%3Furl=https%3A%2F%2Fwww.ps.uni-saarland.de%2Fcourses%2Fsem-prog97%2Fmaterial%2FYYWorks.ps&embedded=true&chrome=false&dov=1 http://cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf https://rosettacode.org/wiki/Y_combinator http://www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html
dbo:wikiPageWikiLink	dbr:Type_variable dbr:System_F dbr:Let_expression dbr:Functional_programming dbr:Imperative_programming dbr:Fixed_point_(mathematics) dbc:Lambda_calculus dbr:Deductive_lambda_calculus dbr:Lambda_calculus dbr:Recursion dbr:SKI_combinator_calculus dbc:Combinatory_logic dbr:Fixed-point_iteration dbr:Complex_number dbr:Closure_(mathematics) dbr:Identity_function dbr:Type_system dbr:Church_encoding dbr:Data-flow_analysis dbr:Typed_lambda_calculus dbr:Matthias_Felleisen dbr:Curry's_paradox dbr:Iterative_method dbr:Mathematics dbr:Relational_database dbr:Combinatory_logic dbr:Transitive_closure dbr:Anonymous_function dbr:Alan_Turing dbr:Lazy_evaluation dbr:Production_(computer_science) dbr:Extensionality dbr:Recursive_data_type dbr:Lambda_lifting dbc:Recursion dbr:Computer_science dbr:Recursion_(computer_science) dbr:Haskell_Curry dbc:Mathematics_of_computing dbr:Lisp_(programming_language) dbr:Paraconsistent_logic dbr:Programming_paradigm dbr:Scheme_(programming_language) dbr:Context-free_grammar dbr:Higher-order_function dbr:Racket_(programming_language) dbr:Mutual_recursion dbr:Böhm_tree dbr:Projection_(mathematics) dbr:Identifier dbr:Simply_typed_lambda_calculus dbc:Fixed_points_(mathematics) dbr:John_Tromp dbr:Beta_reduction dbr:Recursively_enumerable dbr:Recursive_definition dbr:Name_binding dbr:Haskell_(programming_language) dbr:Anonymous_recursion dbr:Strict_programming_language dbr:Recursive_join dbr:Intensional_definition dbr:Strongly_normalizing dbr:Β-reduction dbr:Idempotent dbr:Combinator
dbp:date	2009-03-23 (xsd:date)
dbp:url	https://web.archive.org/web/20090323042654/http:/www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Wikibooks dbt:ISBN dbt:Rp dbt:Webarchive dbt:Short_description
dct:subject	dbc:Articles_with_example_C++_code dbc:Articles_with_example_JavaScript_code dbc:Articles_with_example_Lisp_(programming_language)_code dbc:Lambda_calculus dbc:Programming_language_comparisons dbc:Combinatory_logic dbc:Articles_with_example_OCaml_code dbc:Recursion dbc:Mathematics_of_computing dbc:Articles_with_example_Haskell_code dbc:Fixed_points_(mathematics)
rdfs:label	Fixed-point combinator (en) Fixpunkt-Kombinator (de) 不動点コンビネータ (ja) Operator paradoksalny (pl) Combinador de ponto fixo (pt) Комбинатор неподвижной точки (ru) 不动点组合子 (zh)
owl:sameAs	freebase:Fixed-point combinator wikidata:Fixed-point combinator dbpedia-de:Fixed-point combinator dbpedia-zh:Fixed-point combinator dbpedia-ja:Fixed-point combinator dbpedia-pt:Fixed-point combinator dbpedia-ru:Fixed-point combinator dbpedia-pl:Fixed-point combinator dbpedia-et:Fixed-point combinator dbpedia-global:Fixed-point combinator dbr:Fixed-point combinator
prov:wasDerivedFrom	wikipedia-en:Fixed-point_combinator?oldid=1291481609&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Fixed-point_combinator
is dbo:wikiPageRedirects of	dbr:Fixed_point_combinator dbr:Fixed-point_operator dbr:Fixed_point_operator dbr:Fixpoint_combinator dbr:Fixpoint_operator dbr:Y_operator dbr:Curry's_paradoxical_combinator dbr:Anonymous_fixpoint dbr:Paradoxical_combinator dbr:U_combinator
is dbo:wikiPageWikiLink of	dbr:System_F dbr:Let_expression dbr:Fixed_point_(mathematics) dbr:P_versus_NP_problem dbr:Deductive_lambda_calculus dbr:Fixed-point_iteration dbr:Church_encoding dbr:Y_combinator dbr:Curry's_paradox dbr:Domain_theory dbr:Programming_Computable_Functions dbr:Lambda_lifting dbr:Kleene's_recursion_theorem dbr:Simply_typed_lambda_calculus dbr:Y_(disambiguation) dbr:Computable_topology dbr:Legacy_of_Alan_Turing dbr:Anonymous_recursion dbr:Fixed_point_combinator dbr:To_Mock_a_Mockingbird dbr:Fixed-point_theorems dbr:Fixed-point_operator dbr:Fixed_point_operator dbr:Fixpoint_combinator dbr:Fixpoint_operator dbr:Y_operator dbr:Curry's_paradoxical_combinator dbr:Anonymous_fixpoint dbr:Paradoxical_combinator dbr:U_combinator
is foaf:primaryTopic of	wikipedia-en:Fixed-point_combinator