Navegando por Orientador Moura, Flávio Leonardo Cavalcanti de

Pular para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre as primeiras letras:  
Mostrando resultados 1 a 5 de 5
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
11-Ago-20179-Dez-2016Em direção à formalização das propriedades de normalização do sistema λexAmaral, Lucas de MouraMoura, Flávio Leonardo Cavalcanti de-
12-Dez-202317-Fev-2023Formalização em Coq da prova de confluência do cálculo λxCaldas, Danilo Raposo FreireMoura, Flávio Leonardo Cavalcanti de-
18-Dez-202414-Out-2024Formalização em Coq da prova de confluência do cálculo λx no contexto nominalSoares, José RobertoMoura, Flávio Leonardo Cavalcanti de-
27-Jun-202217-Nov-2021Sobre a confluência do cálculo λx com locally nameless representationFonseca, Gabriel Nunes RodriguesMoura, Flávio Leonardo Cavalcanti de-
27-Jun-20229-Nov-2021Sobre a confluência do cálculo λx na representação nominalBrandão, Caio AlbuquerqueMoura, Flávio Leonardo Cavalcanti de-
Mostrando resultados 1 a 5 de 5