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

Dades bibliogràfiques
Altres autors:	Plotkin, Gordon (Editor), Stirling, Colin P. (Editor), Tofte, Mads (Editor)
Format:	Electronic Resource
Idioma:	English
Publicat:	Cambridge, Massachusetts The MIT Press [2000]
Matèries:	Computer science. Electronic books.
Accés en línia:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426