Cataloging based on CIP information.Proceedings of the International Symposium on the Semantics of Data Types."The symposium was sponsored by IFIP and EATCS"--Foreword.Includes bibliographical references

European Association for Theoretical Computer Science.

International Federation for Information Processing.

International Symposium on the Semantics of Data Types(1984 :Sophia-Antipolis, France)