Subtyping dependent types. Aspinall, D. & Compagnoni, A. B. Theor. Comput. Sci. (TCS), 266(1-2):273-309, 2001.
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
{"_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"]}