3 citations · 4 across the 3 of their papers we have counts for
3 papers
Topological Semantics for Scoped Computational Paths
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira +1
Computational paths record the steps of an equality derivation. We give them a topological semantics that distinguishes derivable rewrites from arbitrary homotopies. Coherent repre…
An alternative approach to the calculation of fundamental groups based on labeled natural deduction
Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz +1
In this work, we use a labelled deduction system based on the concept of computational paths (sequence of rewrites) as equalities between two terms of the same type. We also define…
Sequences of Rewrites: A Categorical Interpretation
Arthur Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira
In Martin-Löf's Intensional Type Theory, identity type is a heavily used and studied concept. The reason for that is the fact that it's responsible for the recently discovered conn…