archives

Looking for a proof that eager reduction is as strong as lazy reduction

And vice versa?

I am sure it is in literature somewhere?

By marco at 2010-06-18 11:44 | LtU Forum | 7 comments | other blogs | 5499 reads

happy rebirth day, LtU NG!

Ehud's user profile says today that he's been a member for 6 years and 20 hours. I think this means that Ehud and Anton have been running http://lambda-the-ultimate.org/ for exactly six years. A round of applause is called for.

By el-vadimo at 2010-06-18 16:38 | LtU Forum | 15 comments | other blogs | 8656 reads