nLab Robin Milner

Robin Milner (1934-2010) was a British computer scientist, known for the development of LCF, ML, and the pi-calculus, among other contributions.

Some publications

  • A calculus of communicating systems, Springer
  • Communicating and mobile systems: the Pi-Calculus, Springer

Last revised on May 27, 2019 at 00:16:56. See the history of this page for a list of all contributions to it.