New answers tagged lambda
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