@article{Poll00,
  title = {A Coalgebraic Semantics of Subtyping},
  author = {Erik Poll},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/25/23/show/Products/notes/index.htt#013},
  tags = {semantics, subtyping},
  researchr = {https://researchr.org/publication/Poll00},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {33},
  pages = {276-293},
}