4 ms·

There are many lambda calculi. THE lambda calculus refers to the original lambda calculus as defined by Church.

• cubefox 3y ago
  Simply typed lambda calculus? Untyped lambda calculus?