Ramos, A., 		Queiroz, R., & 		Oliveira, A.
2021 Jul 18.  Computational Paths and the Fundamental Groupoid of a Type. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :