research
∙
07/13/2020
Computational Paths – A Weak Groupoid
We use a labelled deduction system based on the concept of computational...
share
research
∙
06/19/2019
An alternative approach to the calculation of fundamental groups based on labeled natural deduction
In this work, we use a labelled deduction system based on the concept of...
research
∙
06/19/2019
A Topological Application of Labelled Natural Deduction
We use a labelled deduction system based on the concept of computational...
research
∙
04/03/2018
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths
One of the most interesting entities of homotopy type theory is the iden...
research
∙
03/02/2018
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory
The treatment of equality as a type in type theory gives rise to an inte...
research
∙
03/01/2018
