A variable x in a term e is bound if it is in the scope of a λ x \lambda x λx in e. Otherwise, it's free.
確定! 回上一頁