Original language | English |
---|---|
Title of host publication | Proof, Language, and Interaction, Essays in Honour of Robin Milner |
Editors | G.D. Plotkin |
Publisher | MIT Press |
Pages | 99-132 |
Publication status | Published - 2000 |
From Banach to Milner: Metric semantics for second order communication and concurrency
J.W. de Bakker, P.C. van Breugel
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic