@InProceedings{Sco79,
    Author       = "Scott, D.",
    Year         = "1979",
    Title        = "{Identity and Existence in Intuitionist Logic}",
    Editor       = "Fournam M.P.",
    BookTitle    = "{Durham Proceedings Applications of Sheaves}",
    Pages        = "660-696",
    Publisher    = "Lecture Notes in Mathematics Volume 753, Springer",
    Comment      = "TPTPRef"
}