MPG.eBooks - Author Search Results

Cover Image

1

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

by Plotkin, G.
Published 2000

MIT Press

Cover Image

2

Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

Published 1984

Springer Berlin Heidelberg

Other Authors: “...Plotkin, G....”