3
Có thể gõ lambda tính toán thể hiện * tất cả * thuật toán dưới một độ phức tạp nhất định không?
Tôi biết rằng độ phức tạp của hầu hết các loại tính toán lambda được gõ mà không có nguyên hàm tổ hợp Y bị giới hạn, nghĩa là chỉ có thể biểu thị các hàm phức tạp giới hạn, với giới hạn trở nên lớn hơn khi tính biểu …