Séminaire 2022-23 | Logique, Mathématiques, Informatique, Raisonnement - Faculté de Philosophie - Université Jean Moulin Lyon 3
Research laboratory SPHERE, UMR 7219, activités de l'UMR 7219, octobre 2021, activities of UMR7219, October 2021
Histoire des idées et des argumentations formulées autour de la thèse de la motivation linguistique Analyse logico-épistém
![Abstraction and Classification : from Indiscernibility to Types - WebTV Université Jean Moulin Lyon 3 Abstraction and Classification : from Indiscernibility to Types - WebTV Université Jean Moulin Lyon 3](https://web-tv.univ-lyon3.fr/public/videos/v125d1cf609600k1lehkoyafrlqz5a/thumb.jpg)
Abstraction and Classification : from Indiscernibility to Types - WebTV Université Jean Moulin Lyon 3
Indiscernibility & abstraction : classification and types - Faculté de Philosophie - Université Jean Moulin Lyon 3
![Ryota Akiyoshi(秋吉亮太) on Twitter: "Joinet “Jean-Baptiste Joinet, université Lyon 3 Facts and abstraction. Some remarks about Girard & Okada's proofs of Linear Logic's completeness based on Phase Semantics Response and discussion” https://t ... Ryota Akiyoshi(秋吉亮太) on Twitter: "Joinet “Jean-Baptiste Joinet, université Lyon 3 Facts and abstraction. Some remarks about Girard & Okada's proofs of Linear Logic's completeness based on Phase Semantics Response and discussion” https://t ...](https://pbs.twimg.com/media/EQbD9ghX0AAajkG.jpg)
Ryota Akiyoshi(秋吉亮太) on Twitter: "Joinet “Jean-Baptiste Joinet, université Lyon 3 Facts and abstraction. Some remarks about Girard & Okada's proofs of Linear Logic's completeness based on Phase Semantics Response and discussion” https://t ...
![Jean-Baptiste JOINET | Université Jean Moulin Lyon 3, Lyon | Université Jean Moulin | Faculty of Philosophy | Research profile Jean-Baptiste JOINET | Université Jean Moulin Lyon 3, Lyon | Université Jean Moulin | Faculty of Philosophy | Research profile](https://i1.rgstatic.net/ii/profile.image/691744169545729-1541936070276_Q512/Jean-Baptiste-Joinet.jpg)