BibTeX record journals/corr/abs-1101-4426

• > Home > journals/corr/abs-1101-4426

@inproceedings{DBLP:journals/corr/abs-1101-4426,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Paola Giannini and
                  Elena Zucca},
  editor       = {Elaine Pimentel and
                  Betti Venneri and
                  Joe B. Wells},
  title        = {Intersection types for unbind and rebind},
  booktitle    = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2010, Edinburgh, U.K., 9th July 2010},
  series       = {{EPTCS}},
  volume       = {45},
  pages        = {45--58},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.45.4},
  doi          = {10.4204/EPTCS.45.4},
  timestamp    = {Thu, 14 Oct 2021 09:16:52 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-4426.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}