Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control.

tienne Miquey, Hugo Herbelin

Browse the full FOSSACS paper archive.