2 ms·

Weak vs. "strong" lambda calculus maybe? Typed vs untyped?