Generalmente se mencionan tres grandes contribuciones de Milner en computación: