Also this may be of historical interest:

> I was visiting Fabien Morel in Munich in the Fall of 2009. He introduced me to Helmut Schwichtenberg. Helmut introduced me to Streicher and Hofmann. Then someone  pointed to me Bob Harper as the person who is probably closest to what I am interested and close to Princeton. I contacted Bob and we organized my visit to CMU. There Bob introduced me to Awodey. 

Vladimir.
On Oct 22, 2015, at 3:35 PM, Martin Escardo <m.es...@cs.bham.ac.uk> wrote:

And also: how did you get in touch with the type theory crowd and when? M.