The Type Theory of PL/CV3

Robert L. Constable, Daniel R. Zlatin. The Type Theory of PL/CV3. ACM Transactions on Programming Languages and Systems, 6(1):94-117, 1984. [doi]

Abstract

Abstract is missing.