Eta reduction




See eta conversion.





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