ALL meanings of knights of the lambda-calculus
- noun Technical meaning of knights of the lambda-calculus A semi-mythical organisation of wizardly LISP and Scheme hackers. The name refers to a mathematical formalism invented by Alonzo Church, with which LISP is intimately connected. There is no enrollment list and the criteria for induction are unclear, but one well-known LISPer has been known to give out buttons and, in general, the *members* know who they are. 1