η-conversion

1. REDIRECT Lambda calculus#η-conversion {{DISPLAYTITLE:η-conversion}}

{{R to section}}

Category:Lambda calculus