Outils Génériques de Modélisation et de Démonstration pour la ...

... f : c1 ! c2 de C,. (f) : (c1) ! (c2) est une transformation naturelle avec les composantes (f)i = f. Cette. d e nition est mal typ ee puisque ...

MP 2013