Nghĩa chính
- Thuật ngữ lambda có dạng (λx.t) trong đó x là một biến và t một thuật ngữ lambda khác. Bất kỳ trường hợp tự do nào của x trong t (được xem xét bởi chính nó) sẽ bị ràng buộc bởi λx. tiền tố. Nó có nghĩa là để đại diện cho một chức năng ẩn danhdanh từA lambda term of the form (λx.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the λx. prefix. It is meant to represent an anonymous function.
Dạng từ (word form)
theo quy tắc (regular)- lambda abstractionDạng gốc (base form)
- lambda abstractionsSố nhiều (plural)