@InProceedings{blac:bird11,
  author =       "P. Blackburn and M. Manzano and C. Areces and M.
                 Huertas",
  year =         "2011",
  title =        "The Bird of the Hybrid Type Theory",
  booktitle =    "14th Congress of Logic, Methodology and Philosophy of
                 Science. Division of Logic, Methodology and Philosophy
                 of Science (DLMPS)",
  address =      "Nancy",
  month =        jul,
}