From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Wed, 11 Oct 2017 14:40:41 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: <6611e9a5-083b-4783-8168-b61644bb8a38@googlegroups.com> Subject: an obit of Voevodsky in Quanta Magazine MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_13194_145842683.1507758041405" ------=_Part_13194_145842683.1507758041405 Content-Type: multipart/alternative; boundary="----=_Part_13195_736591462.1507758041405" ------=_Part_13195_736591462.1507758041405 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit ... has appeared at https://www.quantamagazine.org/visionary-mathematician-vladimir-voevodsky-dies-at-51-20171011/ ------=_Part_13195_736591462.1507758041405 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
... has appeared at=C2=A0https://www.quantamagazine.org/vi= sionary-mathematician-vladimir-voevodsky-dies-at-51-20171011/
------=_Part_13195_736591462.1507758041405-- ------=_Part_13194_145842683.1507758041405--