Title :

Principios fundamentales de 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]

HAL domain(s) :

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

English abstract : [en]

It is a condensed presentation of Martin-Löf's constructive type. It is based on existent literature and so there is here no claim of originalityIt is a condensed presentation of Martin-Löf's constructive type. It is based on existent literature and so there is here no claim of originalityShow less >

Language :

Espagnol

ANR Project :

Archéologie différentielle du signe linguistique

Collections :

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

Source :

Harvested from HAL