From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Tue, 24 Apr 2018 12:29:16 -0700 (PDT) From: Jean Joseph To: Homotopy Type Theory Message-Id: <7b71f5d7-4024-4ec9-99b6-27fe95c2a68e@googlegroups.com> Subject: PhD Thesis MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_24473_2095934609.1524598156039" ------=_Part_24473_2095934609.1524598156039 Content-Type: multipart/alternative; boundary="----=_Part_24474_1716782074.1524598156039" ------=_Part_24474_1716782074.1524598156039 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit I recently defended my thesis. See https://drive.google.com/file/d/145at-xLmOpIQlgf1UEiTu7zaGHADme2I/view?usp=sharing. Comments are welcome. ------=_Part_24474_1716782074.1524598156039 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
I recently defended my thesis. See=C2=A0https://drive= .google.com/file/d/145at-xLmOpIQlgf1UEiTu7zaGHADme2I/view?usp=3Dsharing.=C2= =A0

Comments are welcome.=C2=A0
------=_Part_24474_1716782074.1524598156039-- ------=_Part_24473_2095934609.1524598156039--