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

Bibliographic Details
Other Authors:	Plotkin, Gordon (Editor), Stirling, Colin P. (Editor), Tofte, Mads (Editor)
Format:	Electronic Resource
Language:	English
Published:	Cambridge, Massachusetts The MIT Press [2000]
Subjects:	Computer science. Electronic books.
Online Access:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426