BibTeX record conf/csl/BernadetL11

download as .bib file

@inproceedings{DBLP:conf/csl/BernadetL11,
  author    = {Alexis Bernadet and
               St{\'{e}}phane Lengrand},
  title     = {Filter Models: Non-idempotent Intersection Types, Orthogonality and
               Polymorphism},
  booktitle = {{CSL}},
  series    = {LIPIcs},
  volume    = {12},
  pages     = {51--66},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics