%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://www.numdam.org/item/PHSC_2005__9_S2_11_0/ %G fr %F PHSC_2005__9_S2_11_0