LC 2017: LOGIC COLLOQUIUM 2017
Peter Lefanu Lumsdaine
Organization: Stockholm University
Web page: http://peterlefanulumsdaine.com
Pages in this Program
Program
Program for Thursday, August 17th