Types as intervals (1984)

by R CARTWRICT