Subtyping Dependent Types (2000)

by David Aspinall , Adriana Compagnoni
Citations:70 - 6 self

Document Versions

Subtyping Dependent Types –David Aspinall, Adriana Compagnoni — 2000
Subtyping Dependent Types –David Aspinall, Adriana Compagnoni — 2000
Subtyping Dependent Types –David Aspinall, Adriana Compagnoni — 1996 — IN PROCEEDINGS, 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE