Titre :

Principios fundamentales de la Teoría Constructiva de Tipos

Auteur(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]

Discipline(s) HAL :

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

Résumé en anglais : [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 originalityLire moins >

Langue :

Espagnol

Projet ANR :

Archéologie différentielle du signe linguistique

Collections :

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

Source :

Harvested from HAL