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

Dettagli Bibliografici
Altri autori:	Plotkin, Gordon (Redattore), Stirling, Colin P. (Redattore), Tofte, Mads (Redattore)
Natura:	Electronic Resource
Lingua:	English
Pubblicazione:	Cambridge, Massachusetts The MIT Press [2000]
Soggetti:	Computer science. Electronic books.
Accesso online:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426