publicações selecionadas Explicit computational paths in type theory Tipo identidade como o tipo de caminhos computacionais O Tipo Identidade Como o Tipo de Caminhos Computacionais