LC 2017: LOGIC COLLOQUIUM 2017
Thierry Coquand
Organization: Chalmers University
Web page: http://www.cse.chalmers.se/~coquand/
Pages in this Program
Program
Program for Saturday, August 19th
Program for Thursday, August 17th