BibTeX record journals/fuin/Bakel12

download as .bib file

@article{DBLP:journals/fuin/Bakel12,
  author    = {Steffen van Bakel},
  title     = {Completeness and Soundness Results for with Intersection and Union
               Types},
  journal   = {Fundam. Informaticae},
  volume    = {121},
  number    = {1-4},
  pages     = {1--41},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics