Ramos, A., 		Queiroz, R., & 		Oliveira, A.
2021 jul 18.  Computational Paths and the Fundamental Groupoid of a Type. Anais do Encontro de Teoria da Computação (ETC). [Online] :