α -conversion (where α is the lowercase Greek letter alpha) is the process of renaming the parameter in a function abstraction.
確定! 回上一頁