en lambda calculus (n)

An English term in ConceptNet 5.8

Source: English Wiktionary
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Synonyms

  • cs lambda kalkul ➜
  • fi lambdakalkyyli ➜
  • is lambda reikningur ➜
  • ja ラムダ計算 ➜
  • mk ламбда пресметка ➜
  • ro calcul lambda ➜
  • ru лямбда исчисление ➜
  • sh lambda račun ➜
  • sv lambdakalkyl ➜

Related terms

  • en calculus ➜
  • en functionally complete ➜
  • en lambda ➜
  • en lambda abstraction ➜
  • en lambda expression ➜

Parts of lambda calculus

  • en alpha conversion ➜
  • en beta reduction ➜
  • en eta conversion ➜
  • en lambda term ➜

Derived terms

  • en typed lambda calculus ➜

Context of this term

  • en computing theory ➜
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.