![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 ...
Indiscernibility & abstraction : classification and types - Faculté de Philosophie - Université Jean Moulin Lyon 3
![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)
Jean-Baptiste JOINET | Université Jean Moulin Lyon 3, Lyon | Université Jean Moulin | Faculty of Philosophy | Research profile
![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
![Journée d'étude « Logic, Computing and Philosophy: contemporary interactions » – République des Savoirs Journée d'étude « Logic, Computing and Philosophy: contemporary interactions » – République des Savoirs](https://republique-des-savoirs.fr/wp-content/uploads/2019/11/2019_11_26_logic_affiche_programme_jbj.jpg)
Journée d'étude « Logic, Computing and Philosophy: contemporary interactions » – République des Savoirs
![PDF) Mise à dispo de l'article Nature et logique de la déduction naturelle de Jean Baptiste Joinet | ronan labarriere - Academia.edu PDF) Mise à dispo de l'article Nature et logique de la déduction naturelle de Jean Baptiste Joinet | ronan labarriere - Academia.edu](https://0.academia-photos.com/attachment_thumbnails/35690799/mini_magick20190312-2621-19l7zd1.png?1552433550)