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 ...
Abstraction and Classification : from Indiscernibility to Types - WebTV Université Jean Moulin Lyon 3