Now and then I receive a request for my Habilitation Thesis from 1993 on Semantics of Intensional Type Theory which was never published and is not available in one of the usual electronic formats. But if you really want to look at it you can find a scanned version at www.mathematik.tu-darmstadt.de/~streicher/HabilStreicher.pdf BUT it's awfully big (4915468 KB). Thomas Streicher