Lucien Hardy Professor, Perimeter Institute Program Visits Logical Structures in Computation, Fall 2016