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