Semantics of date types : international symposium Sophia-Antipolis, France, June 27-29, 1984 / ed.by G. Kahn, D. B. MacQueen and G. Plotkin.
- New York : Springer-Verlag , 1984 .
- VI, 391 p. ; 25 cm.
- (Lecture notes in computer science)
; 173
ISBN 3-540-13346-1
Teoria semântica
LCC QA76
ISBN 3-540-13346-1
Teoria semântica
LCC QA76
