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

Mads Tofte, Gordon Plotkin, Colin P. Stirling

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

Mads Tofte, Gordon Plotkin, Colin P. Stirling

736 pages first pub 2000 (view 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...