Scott Turner wrote: > Paul B. Levy's studies of "call-by-push-value" model strictness/laziness using > a category theoretic approach. That sounds interesting. Do you have a reference for that? Thanks, Yitz