14 citations · 25 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
On Computational Paths and the Fundamental Groupoid of a Type
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina de Oliveira
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences of rewrites', computati…
cs.LO2015★ 1 cited
On the Groupoid Model of Computational Paths
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computati…