Dissertação de Mestrado - Uma Formalização da Teoria Nominal em Coq - Fabrício Sanches Paranhos
Updated at 09/12/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