Robin Gandy
来自维基百科，自由的百科全书
Found in articles
论文 Systems of Logic Based on Ordinals（1938） 博士導師 阿隆佐·邱奇 博士生 罗宾·甘迪（英语：Robin Gandy） 运动生涯 运动 田徑 项目 長跑 馬拉松：2小時46分03秒（手動） （1947年） 运动成绩与头衔 全国性决赛 1947年英格蘭業餘田徑錦標賽：馬拉松第五名
学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论和理论计算机科学。 海兰德就讀於牛津大学，于 1975 年获得哲学博士学位 ，博士導師為Robin Gandy。 Martin Hyland 最出名的是他在应用于逻辑（证明论、递归论）、理论计算机科学（ λ演算和语义）和高维代数的范畴论方面的工作。
蔡耀倫（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）
香港保衛戰作戰序列
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
特蕾瑟·阿尔斯哈马尔 瑞典 57.80 200米蝶泳 霍苏·考廷考 匈牙利 2:06.71 雅各博什·苏珊娜 匈牙利 2:07.06 Ellen Gandy 英國 2:07.54 200米个人混合泳 霍苏·考廷考 匈牙利 2:10.09 CR 维拉斯托·艾韦琳 匈牙利 2:10.10 汉娜·米利