Hello, Voici quelques notes sur la preuve de Daniel de Carvalho que j'ai rédigées pour me souvenir de ce à quoi on est arrivés à partir du papier de Daniel avec Damiano, Giulio Guerrieri et un peu Lorenzo. https://mindsized.org/static/injectivite.pdf On va tenter de vous raconter tout ça. A+ P. Le 26/05/2016 à 13:33, Damiano Mazza a écrit :

Bonjour,

Demain on terminera le cycle de séances "injectivité de Rel". Pierre et moi normalement avons fini de reconstruire la preuve et on pourra donc tenter de la présenter au tableau.

À demain !

Damiano

_______________________________________________ Gdtlogprog mailing list Gdtlogprog@lipn.univ-paris13.fr https://www-lipn.univ-paris13.fr/mailman/listinfo/gdtlogprog

Le 26/05/2016 à 13:33, Damiano Mazza a écrit :

Bonjour,

Demain on terminera le cycle de séances "injectivité de Rel". Pierre et moi normalement avons fini de reconstruire la preuve et on pourra donc tenter de la présenter au tableau.

À demain !

Damiano

_______________________________________________ Gdtlogprog mailing list Gdtlogprog@lipn.univ-paris13.fr https://www-lipn.univ-paris13.fr/mailman/listinfo/gdtlogprog

-- Pierre Boudes maître de conférences en informatique au LIPN (UMR 7030) institut Galilée, université Paris 13, Sorbonne Paris Cité Master 2 Programmation et logiciels sûrs @m2pls [tw/framasphère] 01 49 40 40 67 — boudes@univ-paris13.fr — https://mindsized.org/