أكاديميون بريطانيون, جامعة كامبريدج, علماء رياضيات, علوم الحاسوب, منطق

مارتن هايلاند (Martin Hyland)