nLab Robin Milner

Redirected from "BP-theory".

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

Links

Wikipedia entry
archived homepage
Obituary: Robin Milner (1934-2010) by Gordon Plotkin, Colin Stirling, Mads Tofte, published in the Bulletin of the EATCS, June 2010.

Related entries

polymorphism

Some publications

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

category: people, computer science

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