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

Detalhes bibliográficos
Outros Autores:	Plotkin, Gordon (Editor), Stirling, Colin P. (Editor), Tofte, Mads (Editor)
Formato:	Electronic Resource
Idioma:	English
Publicado em:	Cambridge, Massachusetts The MIT Press [2000]
Assuntos:	Computer science. Electronic books.
Acesso em linha:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426