Robert Cartwright. Types as Intervals. In POPL. pages 22-36, 1985.
@inproceedings{Cartwright85,
title = {Types as Intervals},
author = {Robert Cartwright},
year = {1985},
researchr = {https://researchr.org/publication/Cartwright85},
cites = {0},
citedby = {0},
pages = {22-36},
booktitle = {POPL},
}