Rumo a uma Teoria de Domínios da Homotopia

A Teoria dos Domínios de Dana Scott fornece técnicas gerais para a obtenção de $\lambda$-modelos através da resolução de equações de domínio sobre categorias cartesianas fechadas arbitrárias. A intenção aqui é oferecer uma exposição de forma geral do projeto de generalização da Teoria dos Domínios para uma teoria que denominamos "Teoria de Domínios da Homotopia". O esforço vai no sentido de encontrar um tipo de $\lambda$-modelo com uma estrutura de $\infty$-grupóide, que permitem um salto na interpretação das igualdades do $\lambda$-calculo (ex: $\beta$-igualdade, $\eta$-igualdade etc.) para igualdades de ordem superior na mesma teoria.