Proof, language, and interaction : essays in honour of Robin Milner

Author：edited by Gordon Plotkin, Colin Stirling, and Mads Tofte.
Publisher：MIT Press
ISBN：0262161885 :
Publication Date：2000
其他作者：Plotkin, G. ; Stirling, Colin P. ; Tofte, Mads. ; Milner, R.
語言：eng
出版地：Cambridge, Mass. :
Description

xiv, 722 p. ::ill. ;:24 cm.

Search Same Author