Talk:Fixed-point combinator: Difference between revisions

Revision as of 21:33, 21 August 2009

Revision as of 00:45, 22 August 2009

Line 1:

{{summary in|Lambda calculus}}

{{WikiProject Computer science|class=|importance=|nested=no}}

{{maths rating|class=|importance=|field=foundations}}

{{Todo}}

==Klop combinator==

Did anybody notice that the fixed point combinator by Klop as given here is wrong? Did anybody actually try it? I used it to test my lambda-calculus interpreter and I was thinking of a bug in it, until I found the correct definition somewhere on the web: [http://www.macs.hw.ac.uk/~fairouz/teaching/langs-defs/slides/lecture12-langs.pdf]