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

Detaylı Bibliyografya
Diğer Yazarlar:	Plotkin, Gordon (Editör), Stirling, Colin P. (Editör), Tofte, Mads (Editör)
Materyal Türü:	Electronic Resource
Dil:	English
Baskı/Yayın Bilgisi:	Cambridge, Massachusetts The MIT Press [2000]
Konular:	Computer science. Electronic books.
Online Erişim:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426