4 ms·Yes, however his brother Alonzo did not mind the typed lambda calculus all that much.by cjfd 2y agoYes, however his brother Alonzo did not mind the typed lambda calculus all that much.