?
Univalence and Constructive Identity
P. 170-174.
Родин А. В.
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 justify judgements about identities and accounts for
the constructive aspect of such judgements.
Язык:
английский
В книге
St. Petersburg : ВВМ, 2012