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 nine − = 5 Comment Leave a Reply