|
|
|
|
|
|
by _zagj
207 days ago
|
|
|
> α-conversion is not required in interaction nets. η-reduction is an additional rule not typically discussed, but see for example [2]. Which makes the sloppy use of "λ-Reduction" in place of "β-reduction"--the only form of reduction or conversion applied here--even less defensible. Maybe them being non-native English speakers is partly to blame? |
|
|