Subtyping Dependent Types (1996)

by David Aspinall , Adriana Compagnoni
Venue:IN PROCEEDINGS, 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:70 - 6 self