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