Pertanyaan yang diberi tag «interaction-nets»

Istilah berikut (menggunakan bruijn-indeks): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Ketika diterapkan pada nomor gereja, Nevaluasi ke bentuk normal dengan cepat di beberapa evaluator yang ada, termasuk yang naif . Namun, …

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

Kombinator interaksi telah diusulkan sebagai target kompilasi untuk kalkulus λ sebelumnya. Makalah itu mengimplementasikan kalkulus λ penuh. Diketahui juga bahwa adalah mungkin untuk mengoptimalkan pengkodean interaksi-bersih dari kalkulus-λ untuk subset dari istilah-istilah yang memiliki tipe-EAL. Makalah itu mengimplementasikan subset kalkulus λ dengan menerjemahkan istilah λ tipe-EAL ke jaring interaksi yang …

10 lambda-calculus  functional-programming  interaction-nets