Tag Info

New answers tagged

2

In Call by name: I do not understand the need for the definition of the strategy to include no reduction can occur within a lambda abstraction: is that not implied by the fact that only outermost redexes are eligible for reduction? No. According to your definition of outermost, a redex is outermost if it is not contained within any other redex. ...



Top 50 recent answers are included