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

Bibliographische Detailangaben
Weitere Verfasser:	Plotkin, Gordon (HerausgeberIn), Stirling, Colin P. (HerausgeberIn), Tofte, Mads (HerausgeberIn)
Format:	Electronic Resource
Sprache:	English
Veröffentlicht:	Cambridge, Massachusetts The MIT Press [2000]
Schlagworte:	Computer science. Electronic books.
Online Zugang:	https://ieeexplore-ieee-org.ezproxy.engglib.upd.edu.ph/book/6267426 https://ieeexplore.ieee.org/book/6267426