Las Raíces Dialógicas de la Teoría Constructiva de Tipos: Estrategias dialógicas, demostraciones constructivas y el axioma de elección

Résumé : 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.
Complete list of metadatas

Cited literature [147 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-01238172
Contributor : Shahid Rahman <>
Submitted on : Wednesday, December 9, 2015 - 5:29:55 PM
Last modification on : Wednesday, October 16, 2019 - 2:48:40 PM
Long-term archiving on: Saturday, April 29, 2017 - 5:05:42 AM

File

Spanish9dec2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : halshs-01238172, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

176

Files downloads

306