«interaction-nets» etiketlenmiş sorular

Aşağıdaki terim (bruijn-endeksleri kullanarak): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Bir kilise numarasına uygulandığında N, saf olanlar da dahil olmak üzere birçok mevcut değerlendiricide hızlı bir şekilde normal forma değerlendirir . …

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

Etkileşim birleştiricileri daha önce λ hesabı için derleme hedefi olarak önerilmiştir . Bu makale tam λ-hesabını uygulamaktadır. EAL tipinde λ terimlerinin alt kümesi için λ-hesabının etkileşim-net kodlamalarının optimize edilmesinin de mümkün olduğu bilinmektedir . Bu makale, çoğaltıcıları gruplamak için sonsuz bir etiket alfabesi kullandıkları için, EAL-tiplenebilir λ terimlerini etkileşim birleştiricilerinden …

10 lambda-calculus  functional-programming  interaction-nets