Cote : 00020373
approche abstraite à la cohérence # calcul fonctoriel à plusieurs variables # cohérence en catégorie # cohérence fermée pour transformation naturelle # cohérence pour distributivité # cohérence pour foncteur fermé # théorème d'élimination par coupure
18-02 ; 18A25 ; 18D15 ; 18D25
Localisation : Collection 1er étage
English