Subtyping with Power Types. Aspinall, D. In Proceedings of Computer Science Logic (CSL), pages 156-171, 2000. Paper bibtex @inproceedings{ dblp4095056,
title = {Subtyping with Power Types},
author = {David Aspinall},
author_short = {Aspinall, D.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2000},
key = {dblp4095056},
id = {dblp4095056},
biburl = {http://www.dblp.org/rec/bibtex/conf/csl/Aspinall00},
url = {http://dx.doi.org/10.1007/3-540-44622-2_10},
conference = {CSL},
pages = {156-171},
text = {CSL 2000:156-171},
booktitle = {Proceedings of Computer Science Logic (CSL)}
}
Downloads: 0
{"_id":{"_str":"5277dc255e011a4c4b00017b"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D."],"bibbaseid":"aspinall-subtypingwithpowertypes-2000","bibdata":{"title":"Subtyping with Power Types","author":["David Aspinall"],"author_short":["Aspinall, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2000","key":"dblp4095056","id":"dblp4095056","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/Aspinall00","url":"http://dx.doi.org/10.1007/3-540-44622-2_10","conference":"CSL","pages":"156-171","text":"CSL 2000:156-171","booktitle":"Proceedings of Computer Science Logic (CSL)","bibtex":"@inproceedings{ dblp4095056,\n title = {Subtyping with Power Types},\n author = {David Aspinall},\n author_short = {Aspinall, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2000},\n key = {dblp4095056},\n id = {dblp4095056},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csl/Aspinall00},\n url = {http://dx.doi.org/10.1007/3-540-44622-2_10},\n conference = {CSL},\n pages = {156-171},\n text = {CSL 2000:156-171},\n booktitle = {Proceedings of Computer Science Logic (CSL)}\n}","bibbaseid":"aspinall-subtypingwithpowertypes-2000","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-44622-2_10"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/Aspinall00","downloads":0,"keywords":[],"search_terms":["subtyping","power","types","aspinall"],"title":"Subtyping with Power Types","year":2000,"dataSources":["hNmWqJSDrdJMYjtyP"]}