Attach:News./student-AdjedjA.png Δ
Arthur Adjedj, normalien-élève (2021), a publié à POPL 2026 avec Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard le papier AdapTT: Functoriality for Dependent Type. Ce papier est issu de son travail d'année de recherche à l'étranger ARPE.