Understanding Russell- A First Attempt

James Hook. Understanding Russell- A First Attempt. In Gilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Volume 173 of Lecture Notes in Computer Science, pages 69-86, Springer, 1984.

Abstract

Abstract is missing.