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

作者：edited by Gordon Plotkin, Colin Stirling, and Mads Tofte.
出版社：MIT Press
ISBN：0262161885 :
出版日期：2000
其他作者：Plotkin, G. ; Stirling, Colin P. ; Tofte, Mads. ; Milner, R.
語言：eng
出版地：Cambridge, Mass. :
內容簡介

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

搜尋同作者