Subtyping with Power Types. Aspinall, D. In Proceedings of Computer Science Logic (CSL), pages 156-171, 2000.
Subtyping with Power Types [link]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