3 citations · 3 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
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 +1
One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation of the equality, since one can semantically interp…
cs.LO2018
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira +1
The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms of a type …