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.
@inproceedings{ConstableZ81,
title = {The Type Theory of PL/CV 3},
author = {Robert L. Constable and Daniel R. Zlatin},
year = {1981},
tags = {type theory},
researchr = {https://researchr.org/publication/ConstableZ81},
cites = {0},
citedby = {0},
pages = {72-93},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, May 1981},
editor = {Dexter Kozen},
volume = {131},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11212-X},
}