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

Sonraí bibleagrafaíochta
Rannpháirtithe:	Plotkin, Gordon (Eagarthóir), Stirling, Colin P. (Eagarthóir), Tofte, Mads (Eagarthóir)
Formáid:	Electronic Resource
Teanga:	Béarla
Foilsithe / Cruthaithe:	Cambridge, Massachusetts The MIT Press [2000]
Ábhair:	Computer science. Electronic books.
Rochtain ar líne:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426