Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Dedução Automática
-
Especificação Algébrica
-
Isomorfismo de Curry-Howard
-
Lambda Calculo
-
Matemática Computacional
-
Métodos Formais
Identidade
identificador BrCris
-
4e7bb89cd109a1c55087224c08d0a39f
identificador Capes
-
2008153001010003P2-Publication
identificador Oasisbr
-
UNB_ee44ebc5c8d3c7af2b85e5d39f75c388