@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)}
}

{"_id":{"_str":"5277dc255e011a4c4b000171"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Compagnoni, A. B."],"bibbaseid":"aspinall-compagnoni-subtypingdependenttypes-2001","bibdata":{"title":"Subtyping dependent types","author":["David Aspinall","Adriana B. Compagnoni"],"author_short":["Aspinall, D.","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)","bibtex":"@article{ dblp4078080,\n title = {Subtyping dependent types},\n author = {David Aspinall and Adriana B. Compagnoni},\n author_short = {Aspinall, D. and Compagnoni, A. B.},\n bibtype = {article},\n type = {article},\n year = {2001},\n key = {dblp4078080},\n id = {dblp4078080},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AspinallC01},\n url = {http://dx.doi.org/10.1016/S0304-3975(00)00175-4},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {273-309},\n number = {1-2},\n volume = {266},\n text = {Theor. Comput. Sci. (TCS) 266(1-2):273-309 (2001)}\n}","bibbaseid":"aspinall-compagnoni-subtypingdependenttypes-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S0304-3975(00)00175-4"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AspinallC01","downloads":0,"keywords":[],"search_terms":["subtyping","dependent","types","aspinall","compagnoni"],"title":"Subtyping dependent types","year":2001,"dataSources":["MaWseH4gDdwh3LFxp"]}