From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Thu, 26 Apr 2018 14:03:52 -0700 (PDT) From: Jean Joseph To: Homotopy Type Theory Message-Id: <3d405bf1-b8ad-4457-b26c-6e7a1316436f@googlegroups.com> In-Reply-To: <7b71f5d7-4024-4ec9-99b6-27fe95c2a68e@googlegroups.com> References: <7b71f5d7-4024-4ec9-99b6-27fe95c2a68e@googlegroups.com> Subject: Re: PhD Thesis MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_4722_1984510834.1524776632967" ------=_Part_4722_1984510834.1524776632967 Content-Type: multipart/alternative; boundary="----=_Part_4723_527205320.1524776632967" ------=_Part_4723_527205320.1524776632967 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit My email is jsje...@gmail.com. On Tuesday, April 24, 2018 at 3:29:16 PM UTC-4, Jean Joseph wrote: > > I recently defended my thesis. See > https://drive.google.com/file/d/145at-xLmOpIQlgf1UEiTu7zaGHADme2I/view?usp=sharing > . > > Comments are welcome. > ------=_Part_4723_527205320.1524776632967 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
My email is jsje...@gmail.com.

On Tuesday, April 24= , 2018 at 3:29:16 PM UTC-4, Jean Joseph wrote:

Comments are welcome.=C2=A0
------=_Part_4723_527205320.1524776632967-- ------=_Part_4722_1984510834.1524776632967--