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.

23 June 2015, Master of Logic defense, Tingxiang Zou

Candidate: Tingxiang Zou
Title: Filtered Order-partial Combinatory Algebras and Classical Realizability
Date: Tuesday 23 June 2015
Location: Room F1.15, ILLC, Science Park 107, Amsterdam
Supervisor: Jaap van Oosten, Benno van den Berg
For more information, please contact

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