From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Sat, 14 Oct 2017 14:12:08 -0700 (PDT) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: <99076355-ec0b-40db-a88b-6ad359db99f4@googlegroups.com> In-Reply-To: <164e6589-5d92-4642-add6-fdbe7439d164@googlegroups.com> References: <69c716dc-7fbf-4c07-a128-21c75fc996da@googlegroups.com> <82f74559-e82f-4773-bd7d-2886bd9b38fb@googlegroups.com> <164e6589-5d92-4642-add6-fdbe7439d164@googlegroups.com> Subject: Re: Vladimir Voevodsky MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_690_553100646.1508015528880" ------=_Part_690_553100646.1508015528880 Content-Type: multipart/alternative; boundary="----=_Part_691_653380895.1508015528881" ------=_Part_691_653380895.1508015528881 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit 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 wrote: And also: how did you get in touch with the type theory crowd and when? M. ------=_Part_691_653380895.1508015528881 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Also this may be of historical interest:

> I was visiting Fabien Morel in Munich in the Fall of 2009. He introd= uced me to=C2=A0Helmut Schwichtenberg. Helmut introduced me to Streicher and Hofmann. Then=20 someone =C2=A0pointed to me Bob Harper as the person who is probably closes= t=20 to what I am interested and close to Princeton. I contacted Bob and we=20 organized my visit to CMU. There Bob introduced me to Awodey.=C2=A0<= div class=3D"">
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 a= nd when? M.
------=_Part_691_653380895.1508015528881-- ------=_Part_690_553100646.1508015528880--