lambda calculus

Formal system for expressing computation defined by Alonzo Church. Computer scientists love it and have created cult-like groups based on it, such as the Knights of the Lambda Calculus and the Knights who Say Lambda.

Bruh, did you know that you can obtain the terms of infinitary Lambda Calculus automatically quotiented by alpha-equivalence using the name abstraction endofunctor in the category of nominal sets??