8 ms·

Is that Alfonzo Church of the untyped lambda calculus?

• cjfd 2y ago
  Yes, however his brother Alonzo did not mind the typed lambda calculus all that much.