The type theory of PL/CV3. ACM Transactions on ProgrammingLanguages and Systems (1984)

by Robert L Constable, D R Zlatin
Venue:of Computer Science, Cornell University