Revision as of 23:38, 9 January 2014 edit Haklo (talk \| contribs) 96 edits →Existence of fixed-point combinators ← Previous edit		Revision as of 23:41, 9 January 2014 edit undo Haklo (talk \| contribs) 96 edits →Its not magic Next edit →
Line 339: [[User:Thepigdog\|Thepigdog]] ([[User talk:Thepigdog\|talk]]) 13:30, 9 January 2014 (UTC) : The Y combinator solves the ''lambda calculus equation'' Y F = F (Y F). If you switch to a different theory or ___domain it's an entirely different story. [[User:Haklo\|Haklo]] ([[User talk:Haklo\|talk]]) 23:41, 9 January 2014 (UTC)

Talk:Fixed-point combinator: Difference between revisions