BibTeX record conf/csr/Abel06

download as .bib file

@inproceedings{DBLP:conf/csr/Abel06,
  author       = {Andreas Abel},
  editor       = {Dima Grigoriev and
                  John Harrison and
                  Edward A. Hirsch},
  title        = {Polarized Subtyping for Sized Types},
  booktitle    = {Computer Science - Theory and Applications, First International Symposium
                  on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
                  June 8-12, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3967},
  pages        = {381--392},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11753728\_39},
  doi          = {10.1007/11753728\_39},
  timestamp    = {Tue, 29 Nov 2022 13:36:56 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/Abel06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics