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]
@article{ConstableZ84,
title = {The Type Theory of PL/CV3},
author = {Robert L. Constable and Daniel R. Zlatin},
year = {1984},
doi = {10.1145/357233.357238},
url = {http://doi.acm.org/10.1145/357233.357238},
tags = {type theory},
researchr = {https://researchr.org/publication/ConstableZ84},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {6},
number = {1},
pages = {94-117},
}