Sequences of Rewrites: A Categorical Interpretation. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2014)

On the Groupoid Model of Computational Paths. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2015)

On Computational Paths and the Fundamental Groupoid of a Type. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2015)

Computational Paths and Identity Types. - Arthur Freitas Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2016)

On the identity type as the type of computational paths. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (Log. J. IGPL, 2017)

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira; Tiago Mendonça Lucena de Veras (CoRR, 2018)

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2018)

Explicit Computational Paths in Type Theory. - Arthur Freitas Ramos (Bull. Symb. Log., 2019)

A Topological Application of Labelled Natural Deduction. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2019)

An alternative approach to the calculation of fundamental groups based on labeled natural deduction. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2019)

Computational Paths - A Weak Groupoid. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Thiago D. O. Silva; Anjolina Grisi de Oliveira (CoRR, 2020)

Computational paths - a weak groupoid. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (J. Log. Comput., 2025)