Chương trình theo slc.sf.net

Tính toán Lambda tượng trưng là một hình thức logic dựa trên tính toán lambda và logic tổ hợp, trong đó chỉ có một loại đối tượng, có thể đại diện cho một trong hai thuật ngữ hoặc bình đẳng. Nó sử dụng các chú thích tính toán