The Type Theory of PL/CV 3

Robert L. Constable, Daniel R. Zlatin. The Type Theory of PL/CV 3. In Dexter Kozen, editor, Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Volume 131 of Lecture Notes in Computer Science, pages 72-93, Springer, 1981.

Authors

Robert L. Constable

This author has not been identified. Look up 'Robert L. Constable' in Google

Daniel R. Zlatin

This author has not been identified. Look up 'Daniel R. Zlatin' in Google