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]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Universidad de Valparaiso [Chile]
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

HAL domain(s) :

Sciences de l'Homme et Société/Philosophie
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences

Language :

Espagnol

ANR Project :

Archéologie différentielle du signe linguistique

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL