2 ms·Simply typed lambda calculus? Untyped lambda calculus?by cubefox 3y agoSimply typed lambda calculus? Untyped lambda calculus?