Lambda hesablaması: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Redaktənin izahı yoxdur |
Redaktənin izahı yoxdur |
||
Sətir 5:
== β-reduksiyası ==
== η-dönüşümü ==
== Əyrilmə ==
== Tipsiz hesablama <math>\lambda</math>-semantikası ==
== Rekursiv funksiyalarla əlaqə ==
== Proqramlaşdırma dillərində ==
== İstinadlar ==
{{İstinad siyahısı}}
== Ədəbiyyat ==
== Həmçinin bax ==
== Xarici keçidlər ==
| |||