Pieter Hofstra researches both logic and category theory in an attempt to develop a categorical approach to computability theory.
Pieter Hofstra researches both logic and category theory in an attempt to develop a categorical approach to computability theory.
Read on for Gee-Gees game reviews from Nov 16-18.
Liberal leadership hopefuls face stricter budget; Companies struggle to deal with beer shortage before Oktoberfest; Ontario Liberals fall one seat shy of majority after byelections; Quebec election night gunman formally charged