[Haskell-cafe] encoding for least fixpoint
benedikt.ahrens at gmx.net
Wed Mar 18 12:41:04 EDT 2009
Thanks a lot to all of you for your help.
It took some time for me to realize that the only difference between
Vene and Wadler is in fact, that Wadler has an explicit representation
for the fixpoints - which answers the question of existence.
I will spend some more time on digesting all the information :-) and
will try to find some information about algebraic compacity.
More information about the Haskell-Cafe