Ramos, Arthur, Queiroz, Ruy, E Oliveira, Anjolina. " Computational Paths and the Fundamental Groupoid of a Type" Anais do Encontro de Teoria da Computação (ETC) [Online], (18 julho 2021)