Geodesic
Les mathématiques grecques sous le regard de la théorie des types
Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 11-26

Voir la notice de l'article provenant de la source Numdam

@article{PHSC_2005__9_S2_11_0,
     author = {Gardies, Jean-Louis},
     title = {Les math\'ematiques grecques sous le regard de la th\'eorie des types},
     journal = {Philosophia Scientiae},
     pages = {11--26},
     publisher = {\'Editions Kim\'e},
     volume = {9},
     number = {S2},
     year = {2005},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_11_0/}
}
TY  - JOUR
AU  - Gardies, Jean-Louis
TI  - Les mathématiques grecques sous le regard de la théorie des types
JO  - Philosophia Scientiae
PY  - 2005
SP  - 11
EP  - 26
VL  - 9
IS  - S2
PB  - Éditions Kimé
UR  - http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_11_0/
LA  - fr
ID  - PHSC_2005__9_S2_11_0
ER  - 
%0 Journal Article
%A Gardies, Jean-Louis
%T Les mathématiques grecques sous le regard de la théorie des types
%J Philosophia Scientiae
%D 2005
%P 11-26
%V 9
%N S2
%I Éditions Kimé
%U http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_11_0/
%G fr
%F PHSC_2005__9_S2_11_0
Gardies, Jean-Louis. Les mathématiques grecques sous le regard de la théorie des types. Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 11-26. http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_11_0/