maxsharing-1.0.2: examples/levy-1988-p184bottom.l

let I0    = \x0.x0
    I1    = \x1.x1
    J     = \z.b
    Delta = \y.I1 (y y) 
in (\f.(f I0)(f J)) (\x. Delta (x a))