Calculo Lambda Ex
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Apresenta-se uma formalização das propriedades de composicionalidade do Cálculo lambda-ex em Coq. A abordagem utilizada baseia-se na lógica nominal de acordo com o trabalho desenvolvido por [3]. Mais especificamente estendemos a formalização do lambda-cálculo contida neste trabalho de forma a incluir a operação de substituição explícita do cálcu
Publicado em: 2010