Turing e a normalização

Abstract

Algumas contribuições de Turing em Lógica dizem respeito à
Teoria de Tipos e foram desenvolvidas durante a Segunda Guerra Mundial.
Um dos resultados desse trabalho é uma demonstração do teorema da norma-
lização para tipos simples, que permaneceu ignorada durante 40 anos. O
resultado de Turing é, portanto, um dos episódios da complicada história da
(re)descoberta da normalização.