Skip to contents Plotkin, Gordon [Other]; Milner, Robin [Honoree] Proof, language, and interaction : essays in honour of Robin Milner Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass.; London: MIT, 2000 Published in: Foundations of computing series
Plotkin, Gordon [Other]; Milner, Robin [Honoree] Proof, language, and interaction : essays in honour of Robin Milner Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass.; London: MIT, 2000 Published in: Foundations of computing series
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Milner, Robin (1) Wert ausschließen Plotkin, Gordon (1) Wert ausschließen Show more show less