Câu hỏi được gắn thẻ «lisp»

Tôi đã có một cuộc thảo luận với một người bạn gần đây (một người ủng hộ các ngôn ngữ được gõ mạnh). Ông đã bình luận: Các nhà phát minh của Lambda Tính luôn có ý định đánh máy nó. Bây giờ chúng ta có thể thấy rằng Giáo …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Trong [1], Mitchell Wand đã chứng minh rằng việc thêm fexprs vào phép tính lambda thuần túy làm tầm thường hóa lý thuyết tương đương theo ngữ cảnh, nghĩa là hai thuật ngữ tương đương với ngữ cảnh nếu chúng là -congruent. Khi khám phá các công việc liên quan, …

13 pl.programming-languages  lisp  scheme 

Bây giờ chúng ta có thể thấy rằng Giáo Hội được kết hợp với các Đơn giản chỉ cần gõ Lambda Calculus . Thật vậy, có vẻ như ông đã giải thích Công cụ tính toán Lambda đơn giản để giảm sự hiểu lầm về Công cụ tính toán Lambda. …

12 lambda-calculus  term-rewriting-systems  lisp