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

Xehetasun bibliografikoak
Beste egile batzuk:	Plotkin, Gordon (Argitaratzailea), Stirling, Colin P. (Argitaratzailea), Tofte, Mads (Argitaratzailea)
Formatua:	Electronic Resource
Hizkuntza:	English
Argitaratua:	Cambridge, Massachusetts The MIT Press [2000]
Gaiak:	Computer science. Electronic books.
Sarrera elektronikoa:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426