Las Raíces Dialógicas de la Teoría Constructiva de Tipos - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Las Raíces Dialógicas de la Teoría Constructiva de Tipos

(1) , (2, 1)
1
2

Abstract

Es un libro en preparacion. Los objectivos principales son:1) mostrar los lazoq que vinculan el marco dialogico con la teoria constructiva de tipos 2) mostrar como la distincion entre nivel de juego, y nivel estrategico explican proveen un teoria adecauada para el estudio de la nocion de "asumcion epistémica" de la CTT.
Fichier principal
Vignette du fichier
Spanish9dec2015.pdf (3.68 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

halshs-01238172 , version 1 (09-12-2015)

Identifiers

  • HAL Id : halshs-01238172 , version 1

Cite

Shahid Rahman, Nicolas Clerbout. Las Raíces Dialógicas de la Teoría Constructiva de Tipos: Estrategias dialógicas, demostraciones constructivas y el axioma de elección . 2015. ⟨halshs-01238172⟩
104 View
211 Download

Share

Gmail Facebook Twitter LinkedIn More