Types as intervals (1985)

by �Car85� R Cartwright
Venue:Symposium on Principles of Programming Languages� pages 22�36� ACM