Please note that this newsitem has been archived, and may contain outdated information or links.
28 August 2023, Master of Logic defense, Xavier Ripoll Echeveste
Candidate: Xavier Ripoll Echeveste
Title: Alternative Impredicative Encodings of Inductive Types
Date: Monday 28 August 2023
Time: 15:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Benno van den Berg and Daniël Otten
Please note that this newsitem has been archived, and may contain outdated information or links.