%0 Journal Article %A Georges Blanc %T Équivalence naturelle et formules logiques en théorie des catégories. %J Archiv für mathematische Logik und Grundlagenforschung %D 1978 %P 131-138 %V 19 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1978__19_137951/ %F AMLG_1978__19_137951