publicações selecionadas teses Formalization in Coq of the standardization theorem for λ-calculus 2023