2 ms·
That it is labelled "Call-by-value edition" is probably why. Y[^f.(^x.f (x x)) (^x.f (x x))] and Z[^f. (^x. f (^y. x x y)) (^x. f (^y. x x y))] appear to expan
by geocar 17y ago
That it is labelled "Call-by-value edition" is probably why.
Y[^f.(^x.f (x x)) (^x.f (x x))] and Z[^f. (^x. f (^y. x x y)) (^x. f (^y. x x y))] appear to expand correctly, but I haven't had my coffee yet...