On the Operational Interpretation of Complex Types

Qing-Ping Tan, Huo-Wang Chen. On the Operational Interpretation of Complex Types. In Somenath Biswas, Kesav V. Nori, editors, Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Volume 560 of Lecture Notes in Computer Science, pages 57-70, Springer, 1991.

Abstract

Abstract is missing.