The Type Theory of PL/CV3 (1984)

by Robert L Constable, D R Zlatin
Venue:ACM Trans- actions on Programming Languages and Systems