Eta expansion




See eta conversion.





< Previous Terms Terms Containing eta expansion Next Terms >
ET
et
ET++
eta abstraction
eta conversion
 eta conversion
 eta reduction
ETB
ETC
e-text
ETHER