CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Plotkin G., Stirling C., Tofte M. (eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, 2000.

Plotkin, G., Stirling, C., Tofte, M. (eds) (2000), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, Cambridge and London.

Plotkin G., Stirling C., Tofte M., Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000.

Plotkin G., Stirling C., Tofte M. (eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner, The MIT Press, 2000.

CiteSeer.IST - Copyright Penn State and NEC