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.

12 September 2018, Master of Logic defense, Marlou Gijzen

Candidate: Marlou Gijzen
Title: A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic
Date: Wednesday 12 September 2018
Time: 10:00
Location: ILLC Room F1.15, Science Park 107, Amsterdam
Supervisor: Benno van den Berg en Leen Torenvliet

Please note that this newsitem has been archived, and may contain outdated information or links.