Please note that this newsitem has been archived, and may contain outdated information or links.
27 August 2020, Master of Logic defense, Tex Schönlank
Candidate: Tex Schönlank
Title: Syntactic logical relations for System F with recursive types and call-by-name semantics
Date: Thursday 27 August 2020
Time: 15:00
Location: Online (closed session)
Supervisor: Benno van den Berg en Herman Geuvers
Please note that this newsitem has been archived, and may contain outdated information or links.