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

Bibliographic Details
Corporate Author:	NetLibrary, Inc
Other Authors:	Plotkin, G. (Gordon), 1946-, Stirling, Colin P., Tofte, Mads, Milner, R. (Robin), 1934-2010
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, 2000.
Series:	Foundations of computing.
Subjects:	Computer science. Milner, R. > (Robin), > 1934-2010. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online