8 citations · 9 across the 3 of their papers we have counts for
1 paper · 2 filters
Andrei Rodin
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege's famous Venus example, which explains how empirical evidences j…