en beta reduction |
― PartOf ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en eta conversion |
― PartOf ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en lambda term |
― PartOf ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en alpha conversion |
― PartOf ⟶
Weight: 1.0
|
|
Source: English Wiktionary |