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

Group Author: Plotkin G.; (Gordon), 1946-; Stirling Colin P.; Tofte Mads.; Milner R.; (Robin) 1934-
Published: MIT Press,
Publication Dates: c2000.
Call Number: TP3/P965