You need to sign in or sign up before continuing.

Browse editions

Current edition
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
Other editions (0)