Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.