Plotkin, Gordon Stirling, Colin Tofte, Mads
Proof, language and interaction: essays in honour of Robin Milner - Cambridge MIT 2000 - 720 - Foundations of computing .
0 262 16188 5
681.3 PLO
Proof, language and interaction: essays in honour of Robin Milner - Cambridge MIT 2000 - 720 - Foundations of computing .
0 262 16188 5
681.3 PLO