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 |
