Semantics of Data Types
Subtitle: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science)
Contributors: G. Kahn (Editor); D.B. MacQueen (Editor); G. Plotkin (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 2, 1984
Language: eng
Format: Paperback
Number of pages: 404
ISBN-13: 9783540133469
Subjects: Logic; Programming Languages - General; Questions & Answers; Computers : Programming Languages - General; Datentyp; Mathematics / Logic; Mathematics : Logic; Reference / Questions & Answers; Semantics; Semantik; Reference