Gordon Plotkin

1 book

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