[TYPES] my habilitation thesis available on the net

[Thomas Streicher]

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