Plotkin, Gordon .
Proof, language, and interaction: essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling and Mads Tofte. - Cambridge : The MIT Press , 2000 - 722p :
0-262-16188-5
Language
P / P0
Proof, language, and interaction: essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling and Mads Tofte. - Cambridge : The MIT Press , 2000 - 722p :
0-262-16188-5
Language
P / P0