[Haskell-beginners] Re: fixpoint operator for ULC with specific reduction property

[ben]

Heinrich Apfelmus wrote:
> ben wrote:
>> I'm looking for a fixpoint operator Z for the untyped lambda calculus
>> that has the property
>>
>> Z g --> g (Z g)
>>
>> for any g.
>> [...]

> I think the Turing fixed point combinator does exactly that. It's
> defined as
> 
>    Theta = (λxf.f(xxf))(λxf.f(xxf))
> [...]


Theta precisely meets my needs.

Thanks a lot.

ben