Research Catalog

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

Title
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
Publication
Berlin ; New York : Springer-Verlag, 1984.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 86-1598Offsite

Details

Additional Authors
  • Kahn, G.
  • MacQueen, D. B. (David B.), 1946-
  • Plotkin, G. (Gordon), 1946-
  • International Federation for Information Processing.
  • European Association for Theoretical Computer Science.
  • International Symposium on the Semantics of Data Types (1984 : Sophia-Antipolis, France)
Description
vi, 391 p. : ill.; 25 cm.
Series Statement
Lecture notes in computer science ; 173
Subjects
Note
  • Proceedings of the International Symposium on the Semantics of Data Types.
  • "The symposium was sponsored by IFIP and EATCS"--Foreword.
Bibliography (note)
  • Includes bibliographies.
Call Number
JSE 86-1598
ISBN
0387133461 (U.S.)
LCCN
84010575
OCLC
  • 10798990
  • NYPG86-B68903
Title
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
Imprint
Berlin ; New York : Springer-Verlag, 1984.
Series
Lecture notes in computer science ; 173
Bibliography
Includes bibliographies.
Added Author
Kahn, G.
MacQueen, D. B. (David B.), 1946-
Plotkin, G. (Gordon), 1946-
International Federation for Information Processing.
European Association for Theoretical Computer Science.
International Symposium on the Semantics of Data Types (1984 : Sophia-Antipolis, France)
Research Call Number
JSE 86-1598
View in Legacy Catalog