Related terms
- cs lambda kalkul (n) ➜
- en alpha conversion (n) ➜
- en applicand (n) ➜
- en beta reduction (n) ➜
- en church encoding (n) ➜
- en church rosser theorem (n) ➜
- en de bruijn index (n) ➜
- en eta conversion (n) ➜
- en combinator ➜
- en functionally complete ➜
- en recursive function ➜
- en turing machine ➜
- en calculus ➜
- en functionally complete ➜
- en lambda ➜
- en lambda abstraction ➜
- en lambda expression ➜
- en lambda term (n) ➜
- en redex (n) ➜
- fi lambdakalkyyli (n) ➜
- More »
Synonyms
- cs lambda kalkul ➜
- fi lambdakalkyyli ➜
- is lambda reikningur ➜
- ja ラムダ計算 ➜
- mk ламбда пресметка ➜
- ro calcul lambda ➜
- ru лямбда исчисление ➜
- sh lambda račun ➜
- sv lambdakalkyl ➜
- ar حسابات اللامدا ➜
- bn ল্যাম্ডা ক্যালকুলাস ➜
- ca càlcul lambda ➜
- cs lambda kalkul ➜
- de lambda kalkül ➜
- el λογισμόσ λάμδα ➜
- en lambda calculus ➜
- en lambda calculus ➜
- eo lambda kalkulo ➜
- es cálculo lambda ➜
- et lambda arvutus ➜
- More »
Parts of lambda calculus
- en alpha conversion ➜
- en beta reduction ➜
- en eta conversion ➜
- en lambda term ➜
Word forms
- en lambda calculi (n) ➜
Links to other resources
- dbpedia.org Lambda calculus
- wikidata.dbpedia.org /resource/Q242028
- en.wiktionary.org lambda calculus