Oh Category Theory! You can’t handle untyped Lambda Calculus! It is too strong. Posted on March 6, 2019 by Kenneth Udut Leave a comment Oh Category Theory! You can’t handle untyped Lambda Calculus! It is too strong. 🔊 Listen to this Leave a comment Cancel reply Your email address will not be published. Required fields are marked * Name * Email * Website 9 + = sixteen Comment Leave a Reply