Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010).