“.... La terminación fuerte del cálculo λprkse demuestra a través de una traducción a System F extendido...”