Robin Gandy

学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论和理论计算机科学。 海兰德就讀於牛津大学，于 1975 年获得哲学博士学位 ，博士導師為Robin Gandy。 Martin Hyland 最出名的是他在应用于逻辑（证明论、递归论）、理论计算机科学（ λ演算和语义）和高维代数的范畴论方面的工作。

Cdr. Gerrard H. Gandy） MTB 07，艇長（Lt. R. R. W. Ashby） MTB 08，艇長（Lt. L. D. Kilbee） MTB 09，艇長（Lt. A. Kennedy） MTB 10，艇長（Lt. Cdr. G. H. Gandy） MTB 11，艇長（Lt

Baird），71歲，美國純種馴馬師，交通事故。 唐納德·錢特（Donald Chant），79歲，加拿大生物學家和環保宣導者。 伊芙琳·甘迪（Evelyn Gandy），87歲，美國政治家，密西西比州副州長（1976-1980）。 W.F. Ganong，83歲，美國神經內分泌學家，前列腺癌。 邁克爾·吉德（Michael

论文 Systems of Logic Based on Ordinals（1938） 博士導師 阿隆佐·邱奇 博士生 罗宾·甘迪（英语：Robin Gandy） 运动生涯 运动 田徑 项目 長跑 馬拉松：2小時46分03秒（手動） （1947年） 运动成绩与头衔 全国性决赛 1947年英格蘭業餘田徑錦標賽：馬拉松第五名

蔡耀倫（2013年），第260页 鄺智文 & 蔡耀倫（2013年），第259-261页 鄺智文 & 蔡耀倫（2013年），第262页 Gerard H Gandy R.N. - Escape from Hong Kong. www.hongkongescape.org. [2020-03-31]. （原始内容存档于2019-08-20）