The Bird of the Hybrid Type Theory

P. Blackburn, M. Manzano, C. Areces, and M. Huertas. The Bird of the Hybrid Type Theory. In 14th Congress of Logic, Methodology and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science (DLMPS), Nancy, July 2011.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@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,
}