“Delayability” in proofs of strong normalizability in the typed lambda Calculus | Publicación