4 ms·
The text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.
by DanWaterworth 14y ago
The text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.
- notb 14y agoRight, thanks! Corrected.