Postdoctoral researcher studying category theory and logic at Università degli Studi di Milano
Date: June 19, 2024
