• Philosophie,

Le même et l'autre : identité, orthogonalité, types

Colloque - 10 vidéos

Publié le 27 novembre 2018 Mis à jour le 24 janvier 2020
Colloque interdisciplinaire organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL), tenu à l'Université Jean Moulin Lyon 3 les 5 et 6 novembre 2018.


Michele ABRUSCI (Università degli Studi di Roma Tre) - Remarques sur les définitions de l'identité



Eric FINSTER (IRIF, Université Denis Diderot Paris 7) - Égalité et identité dans les fondements des mathématiques



Alberto NAIBO (IHPST, Université Paris 1 Panthéon-Sorbonne) - Harmonie, stabilité et identité



Paolo PISTONE (Wilhelm Shickard Institut, EKU Tübingen) - Identité des preuves et types du second ordre



Wendy HAMMACHE (IRPhiL, Université Jean Moulin Lyon 3) - Lambda-calcul et types : origines logiques, postérité computationnelle



Simone MARTINI (Collegium - Institut d’études avancées de Lyon & Univ. di Bologna) - Les types dans les langages de programmation : entre modélisation, abstraction et correction




Damiano MAZZA (CNRS, LIPN, Université Paris Nord) - Les systèmes de types vus comme foncteurs : introduction à la perspective de Melliès et Zeilberger et quelques applications



Thomas SEILLER (CNRS, LIPN, Université Paris Nord) - Identités des programmes




Jean-Baptiste JOINET (IRPhiL, Université Jean Moulin Lyon 3 - Similitude, coalitions, types : une généralisation des définitions par abstraction




Juan-Luis GASTALDI (SPHERE, CNRS-Université Paris Diderot) - Identité et types des unités dans le langage naturel : que peut-on apprendre des « word embeddings » ?




Chaîne vidéo du colloque