A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations.

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases