Please note that this newsitem has been archived, and may contain outdated information or links.
27 August 2025, Master of Logic, Stefano Volpe
Candidate: Stefano Volpe
Title: Higher Inductive Types via Impredicative Encodings
Date: Wednesday 27 August 2025
Time: 11:00
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
Supervisor: Benno van den Berg
Please note that this newsitem has been archived, and may contain outdated information or links.