Dissertação de Mestrado - Uma Formalização da Teoria Nominal em Coq - Fabrício Sanches Paranhos
Atualizada em 12/09/22 09:36
Dissertação de Mestrado
Uma Formalização da Teoria Nominal em Coq
Autor: Fabrício Sanches Paranhos
Orientador: Daniel Lima Ventura
Data da defesa: 10/08/2022