slc

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu

Về slc

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 của de Bruijn và lambda.