La Genealogía Dialógica de la IgualdadInteracción ...
Document type :
Pré-publication ou Document de travail
Title :
La Genealogía Dialógica de la IgualdadInteracción e Igualdad en la Teoría Constructiva de Tipos
Author(s) :
Rahman, Shahid [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Clerbout, Nicolas [Auteur]
Universidad de Valparaiso [Chile]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Redmond, Juan [Auteur]
Universidad de Valparaiso [Chile]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Clerbout, Nicolas [Auteur]
Universidad de Valparaiso [Chile]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Redmond, Juan [Auteur]
Universidad de Valparaiso [Chile]
English keyword(s) :
logic
constructive type theory
mathematics
philosophy of logic
philosophy of mathematics
computersciences
foundations of mathematics
philosophy of science
constructive type theory
mathematics
philosophy of logic
philosophy of mathematics
computersciences
foundations of mathematics
philosophy of science
HAL domain(s) :
Sciences de l'Homme et Société/Philosophie
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Language :
Espagnol
ANR Project :
Collections :
Source :
Files
- https://halshs.archives-ouvertes.fr/halshs-01330097/document
- Open access
- Access the document
- https://halshs.archives-ouvertes.fr/halshs-01330097/document
- Open access
- Access the document
- document
- Open access
- Access the document
- La%20Genealog%C3%ADa%20Dial%C3%B3gica%20de%20la%20Igualdad%206JUNEShahid.pdf
- Open access
- Access the document