Arthur F. Ramos

According to our database, Arthur F. Ramos authored at least 11 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

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

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

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

Explicit Computational Paths in Type Theory.

Arthur Freitas Ramos

Bull. Symb. Log., 2019

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

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

2017

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

2016

Computational Paths and Identity Types.

Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2016

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

On the Groupoid Model of Computational Paths.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2015

2014

Sequences of Rewrites: A Categorical Interpretation.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2014