Identity and existence in intuitionistic logic (1979)

by D Scott
Venue:Applications of Sheaves, volume 753 of Lecture Notes in Mathematics