Subtyping dependent types. Aspinall, D. & Compagnoni, A. B. Theor. Comput. Sci. (TCS), 266(1-2):273-309, 2001.
Subtyping dependent types [link]Paper  bibtex   
@article{ dblp4078080,
  title = {Subtyping dependent types},
  author = {David Aspinall and Adriana B. Compagnoni},
  author_short = {Aspinall, D. and Compagnoni, A. B.},
  bibtype = {article},
  type = {article},
  year = {2001},
  key = {dblp4078080},
  id = {dblp4078080},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AspinallC01},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00175-4},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {273-309},
  number = {1-2},
  volume = {266},
  text = {Theor. Comput. Sci. (TCS) 266(1-2):273-309 (2001)}
}

Downloads: 0