Introducción a Robin Milner

Robin Milner, informático británico. Nacido el 13 de enero de 1934, ganó el Premio Turing, el premio más importante del mundo en el campo de la informática, en 1991. En términos de lenguajes de programación informática, Milner, Gorton y otros propusieron conjuntamente un modelo matemático de un sistema lógico formal e implementaron un sistema que llamó LCF: "la lógica de funciones computables". Otra contribución es sobre computación concurrente (computación concurrente) y computación paralela (computación paralela).