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??
by John_Von_Unipi April 26, 2024
Consorzio Interuniversitario Sovvenzionatori mafIA
An organization that extorts 30 € from Italian students.
An organization that extorts 30 € from Italian students.
"Damn I just failed the comprensione del testo on my CISIA TOLC"
"Dude CISIA is so mafia, just take the OFA"
"Dude CISIA is so mafia, just take the OFA"
by John_Von_Unipi May 14, 2022