Arthur F. Ramos

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 6

Top Topics

Similar Objects

Natural Deduction

Equivalence Relation

Top Venues

Publications

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
Computational Paths - A Weak Groupoid. CoRR (2020)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
An alternative approach to the calculation of fundamental groups based on labeled natural deduction. CoRR (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
A Topological Application of Labelled Natural Deduction. CoRR (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the identity type as the type of computational paths. Log. J. IGPL 25 (4) (2017)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Groupoid Model of Computational Paths. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On Computational Paths and the Fundamental Groupoid of a Type. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Identity Type as the Type of Computational Paths. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Sequences of Rewrites: A Categorical Interpretation. CoRR (2014)