Proof, Language, and Interaction: Essays in Honour of Robin Milner - Plotkin (MIT Press Cambridge, 2000)
Keywords: AIML -CSE