J. Hyland. The L. E. J. Brouwer Centenary Symposium Proceedings of the Conference held in Noordwijkerhout, Volume 110 von Studies in Logic and the Foundations of Mathematics, Elsevier, (1982)
B. Toen, und G. Vezzosi. (2002)cite http://arxiv.org/abs/math/0212330arxiv:math/0212330Comment: 22 pages. Slightly enlarged. Clarified the part on homotopy types of Segal topoi.