Eta abstraction
eta conversion
| < Previous Terms | Terms Containing eta abstraction | Next Terms > |
| Esterel EstPC ET et ET++ | beta abstraction beta conversion beta reduction constant applicative form eta conversion | eta conversion eta expansion eta reduction ETB ETC |
