The λse-calculus Does Not Preserve Strong Normalization (0)

by B Guillaume
Venue:J. of Func. Programming