BibTeX record journals/corr/abs-1012-4032

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1012-4032,
  author    = {Pablo Arrighi and
               Alejandro D{\'{\i}}az{-}Caro and
               Beno{\^{\i}}t Valiron},
  editor    = {Elham Kashefi and
               Jean Krivine and
               Femke van Raamsdonk},
  title     = {Subject reduction in a Curry-style polymorphic type system with a
               vectorial structure},
  booktitle = {Proceedings 7th International Workshop on Developments of Computational
               Methods, {DCM} 2011, Zurich, Switzerland, 3rd July 2011},
  series    = {{EPTCS}},
  volume    = {88},
  pages     = {1--15},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.88.1},
  doi       = {10.4204/EPTCS.88.1},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1012-4032.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics