3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Topological Computational Paths: Presentation Invariance and Observable Quotients
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira +1
A computational path records the steps used to establish an equality. Topologies on computational equality witnesses can depend on the chosen generators and execution schedule, eve…
cs.LO2019★ 3 cited
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…