Revision as of 14:34, 9 December 2011 edit Daniel5Ko (talk \| contribs) 348 edits →Citation needed for infinity of fixed-point combinator in simply-typed lambda calculus ← Previous edit		Revision as of 17:20, 9 December 2011 edit undo WillNess (talk \| contribs) Extended confirmed users 2,940 edits →Citation needed for infinity of fixed-point combinator in simply-typed lambda calculus: r Next edit →
Line 200: :: And last, but not least: in simply typed lambda calculus there is ''no'' fixed-point combinator, as the article correctly states. :: --[[User:Daniel5Ko\|Daniel5Ko]] ([[User talk:Daniel5Ko\|talk]]) 14:34, 9 December 2011 (UTC) :::I was merely acting on an observation that c.e. (or r.e.) is not necessarily infinite. I think your explanation should be added into the page, maybe as ref remark, replacing the "cn" tag. [[User:WillNess\|WillNess]] ([[User talk:WillNess\|talk]]) 17:20, 9 December 2011 (UTC)

Talk:Fixed-point combinator: Difference between revisions