ConceptNet 5: Query results

en church encoding ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en applicand ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en de bruijn index ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en lambda calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en functionally complete	Source: English Wiktionary
en lambda calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en calculus	Source: English Wiktionary
en lambda term ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en lambda calculus	― RelatedTo ⟶ Weight: 1.0	en recursive function	Source: English Wiktionary
en lambda calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda	Source: English Wiktionary
en eta conversion ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en beta reduction ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
sh lambda račun ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
cs lambda kalkul ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
fi lambdakalkyyli ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
is lambda reikningur ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en church rosser theorem ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en lambda calculus	― RelatedTo ⟶ Weight: 1.0	en functionally complete	Source: English Wiktionary
en alpha conversion ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en lambda calculus	― RelatedTo ⟶ Weight: 1.0	en turing machine	Source: English Wiktionary
en redex ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda calculus	Source: English Wiktionary
en lambda calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda abstraction	Source: English Wiktionary
en lambda calculus	― RelatedTo ⟶ Weight: 1.0	en combinator	Source: English Wiktionary
en lambda calculus ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en lambda expression	Source: English Wiktionary
en scheme ^{(n, programming_language)}	― RelatedTo ⟶ Weight: 0.5	en lambda calculus	Source: DBPedia 2015