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

Thuật ngữ sau (sử dụng bruijn-indexes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Khi áp dụng cho một số nhà thờ Nđánh giá hình thức bình thường một cách nhanh chóng trong …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

Các tổ hợp tương tác đã được đề xuất như là một mục tiêu biên dịch cho phép tính before trước đó. Bài báo đó thực hiện phép tính full đầy đủ. Người ta cũng biết rằng có thể tối ưu hóa các bảng mã tương tác của phép tính …

10 lambda-calculus  functional-programming  interaction-nets