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

Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. The MIT Press, 2000.

Conference: BIRTHDAY2000

Editors

Gordon D. Plotkin

This author has not been identified. It may be one of the following persons: Look up 'Gordon D. Plotkin' in Google

Colin Stirling

This author has not been identified. Look up 'Colin Stirling' in Google

Mads Tofte

This author has not been identified. Look up 'Mads Tofte' in Google