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

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