2
Tiếp tục chuyển đổi các hàm nhị phân
Nhớ lại việc thông qua việc tiếp tục chuyển đổi (CPS transform) mà mất để beta Một : = R R A (nơi R là cố định) và f : A → B để β f : β Một → β B được định nghĩa bởi βMộtMộtAβA : = RRMộtβMột:= …