Proof, Language, and Interaction: Essays in Honour of Robin Milner by Colin P. Stirling, Mads Tofte, Gordon Plotkin
Proof, Language, and Interaction: Essays in Honour of Robin Milner

Colin P. Stirling, Mads Tofte, Gordon Plotkin

Proof, Language, and Interaction: Essays in Honour of Robin Milner

Colin P. Stirling, Mads Tofte, Gordon Plotkin

736 pages first pub 2000 (editions)

reflective medium-paced
Powered by AI (Beta)
Loading...

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...

Read more

Community Reviews

Loading...

Content Warnings

Loading...