Lucien Hardy Professor, Perimeter Institute Program Visits Logical Structures in Computation, Fall 2016 Website Opens new tab