abs-1103-3111'

@proceedings{DBLP:journals/corr/abs-1103-3111,
  editor    = {Tom Hirschowitz},
  title     = {Proceedings Types for Proofs and Programs, Revised Selected
               Papers},
  booktitle = {TYPES},
  series    = {EPTCS},
  volume    = {53},
  year      = {2009},
  ee        = {http://dx.doi.org/10.4204/EPTCS.53},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}