G. Kahn, D.B. MacQueen, G. Plotkin

Semantics of Data Types - 1984 - Springer Berlin Heidelberg 1984 - Lecture Notes in Computer Science .

9783540388913


Computer Science