Distinguished Fellow of the British Computer Society

Nanoelectronics Systems" Proceedings of the 2006 Canadian Conference on Electrical and Computer Engineering, Vancouver, British Columbia, Canada, April 22–26

"Proof, Language, and Interaction", a book on computer science dedicated to Milner and covering many areas of his work. Milner在劍橋的首頁 （页面存档备份，存于互联网档案馆） 訪問;