and Adriana Compagnoni. Subtyping dependent types (1996)

by David Aspinall
Venue:Proceedings, Eleventh Annual IEEE Symposium on Logic in Computer Science