• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Savoirs, Textes, Langage (STL) - UMR 8163
  • View Item
  •   LillOA Home
  • Liste des unités
  • Savoirs, Textes, Langage (STL) - UMR 8163
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

La Genealogía Dialógica de la IgualdadInteracción ...
  • BibTeX
  • CSV
  • Excel
  • RIS

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] refId
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
HAL domain(s) :
Sciences de l'Homme et Société/Philosophie
Sciences de l'Homme et Société
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
Files
Thumbnail
  • https://halshs.archives-ouvertes.fr/halshs-01330097/document
  • Open access
  • Access the document
Thumbnail
  • https://halshs.archives-ouvertes.fr/halshs-01330097/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017