Publication à CPP 2023

Lamiaux Thomas - promo 2020

Thomas Lamiaux, normalien-élève (2020), a publié à CPP 2023 avec Axel Ljungström et Anders Mörtberg (Stockholm University) le papier Computing Cohomology Rings in Cubical Agda. Ce papier est issu de son travail de stage de Master 1 MPRI. Le papier a été nommé distinguish paper.

Pour avoir plus de publications ...