Advertisement

Advertisement

lambda calculus

noun

  1. logic computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages

Discover More

Word History and Origins

Origin of lambda calculus1

C20: from the use of the symbol lambda (λ) to represent the mathematical functions

Advertisement

Word of the Day

axolotl

[ak-suh-lot-l ]

Meaning and examples

Start each day with the Word of the Day in your inbox!

By clicking "Sign Up", you are accepting Dictionary.com Terms & Conditions and Privacy Policies.

Advertisement

Advertisement

Advertisement

lambda-b particlelambda-c baryon

Browse

  • #
  • aa
  • bb
  • cc
  • dd
  • ee
  • ff
  • gg
  • hh
  • ii
  • jj
  • kk
  • ll
  • mm
  • nn
  • oo
  • pp
  • qq
  • rr
  • ss
  • tt
  • uu
  • vv
  • ww
  • xx
  • yy
  • zz