INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS
The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory (CTT), which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a sp...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional Autónoma de México (UNAM)
2017-04-01
|
| Series: | Crítica |
| Subjects: | |
| Online Access: | http://critica.filosoficas.unam.mx/pg/en/descarga.php?id_volumen=179&id_articulo=1119 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|