Scan barcode
![Proof, Language, and Interaction: Essays in Honour of Robin Milner by Colin P. Stirling, Mads Tofte, Gordon Plotkin](https://assets.thestorygraph.com/assets/placeholder-cover-a3ae92250eb3301e32dc3eabf8d50576c2f047dda89f6ee7cfa9a859cb1fd746.jpg)
—
Colin P. Stirling, Mads Tofte, Gordon Plotkin
736 pages • first pub 2000 (editions)
ISBN/UID: 9780262161886
Format: Hardcover
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of progra...
Community Reviews
Content Warnings
![Proof, Language, and Interaction: Essays in Honour of Robin Milner by Colin P. Stirling, Mads Tofte, Gordon Plotkin](https://assets.thestorygraph.com/assets/placeholder-cover-a3ae92250eb3301e32dc3eabf8d50576c2f047dda89f6ee7cfa9a859cb1fd746.jpg)
—
Colin P. Stirling, Mads Tofte, Gordon Plotkin
736 pages • first pub 2000 (editions)
ISBN/UID: 9780262161886
Format: Hardcover
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of progra...