research
∙
04/21/2023
From Tractatus to Later Writings and Back – New Implications from the Nachlass
As a celebration of the Tractatus 100th anniversary it might be worth re...
share
research
∙
11/13/2021
The Theory of an Arbitrary Higher λ-Model
One takes advantage of some basic properties of every λ-homotopic model ...
research
∙
04/02/2021
Solving Homotopy Domain Equations
In order to get λ-models with a rich structure of ∞-groupoid, which we c...
research
∙
07/29/2020
Towards a Homotopy Domain Theory (HoDT)
A favourable environment is proposed for the achievement of λ-models wit...
research
∙
07/13/2020
Computational Paths – A Weak Groupoid
We use a labelled deduction system based on the concept of computational...
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
∙
06/13/2019
An extensional λ-model with ∞-grupoid structure
From a topological space, a set with ∞-grupoid structure is built and th...
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