From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.129.159.193 with SMTP id w184mr34824181ywg.182.1507132790275; Wed, 04 Oct 2017 08:59:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.129.87.201 with SMTP id l192ls1077812ywb.24.gmail; Wed, 04 Oct 2017 08:59:49 -0700 (PDT) X-Received: by 10.129.106.65 with SMTP id f62mr34312731ywc.123.1507132789458; Wed, 04 Oct 2017 08:59:49 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1507132789; cv=none; d=google.com; s=arc-20160816; b=Y5Xe6AkBA9YToUZB7CPsDmNOOrJragJPjCeYUXVxcechbdfYgamkvjbXxh25rEdLKC Cvrz7qAGJqyVB0Rv6bGJpTdRQ3hzwqG7caMZ+jcRiEfZ7KtAVpi7DytQqiwijsPShzMv vO76r2m8AdTmTAKSS+RfFKbDybkYYRymj0J6Yh4XxOIZ4eOw8FH3qgfMfBZjKn4z596h CqieN2jxKBVqnl6/ZhYHUMw5w83K2Yt/1wyXV4ekd04Y5Ts07FBFUxlgjkDNUvroxDV8 zVMqGTBih07OENDJn3ScTYhPSpOqu78rJ/R6e7PhTDGy4t9ZyKBuL4Ay0htPKNEJSSGC DkgQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature:arc-authentication-results; bh=uFR1TteBIr0l8ii34hdfrMgs30a7M2zlImTXwfbFeU8=; b=F3cJ2yYAPizHNxX7vMXFFSvZZTfVpexlWZkKA2CCCUNBDqhkLXhlzK3vfJnZD6j6uL iE9JUhzvgHmdE69CJ68GyE4dZNsYPLYZAG/eBM4trvZkoYR4iTcPrluJEDcqrNL7foAp yuxZQokeLzkTimPpkeHg0B0VQDL9BEOog9r5pVBb6jAg6FkFAcqSkK/VT/Zy7+BYBBKS E6zfc1Sf4HK9pUHjCv7sYosUY6lSjQic2Pnmm/qHo1MEYNTTQNAIfvMBXLywnUexZJ6N S+LMkXO0uCl8rU2KERYeAGUv3XC4NyMuhAd7WuEZQUL1q6EPI84CxVsadh3z8yCQfFVJ mtbg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=kwtlkpv0; spf=pass (google.com: domain of jason...@gmail.com designates 2607:f8b0:400d:c09::22b as permitted sender) smtp.mailfrom=jason...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-qk0-x22b.google.com (mail-qk0-x22b.google.com. [2607:f8b0:400d:c09::22b]) by gmr-mx.google.com with ESMTPS id g186si912261ywc.29.2017.10.04.08.59.49 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 04 Oct 2017 08:59:49 -0700 (PDT) Received-SPF: pass (google.com: domain of jason...@gmail.com designates 2607:f8b0:400d:c09::22b as permitted sender) client-ip=2607:f8b0:400d:c09::22b; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=kwtlkpv0; spf=pass (google.com: domain of jason...@gmail.com designates 2607:f8b0:400d:c09::22b as permitted sender) smtp.mailfrom=jason...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-qk0-x22b.google.com with SMTP id n5so9688632qke.11 for ; Wed, 04 Oct 2017 08:59:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=uFR1TteBIr0l8ii34hdfrMgs30a7M2zlImTXwfbFeU8=; b=kwtlkpv0ZuCsPOLXc9S6z1eSognzDUuHeRCX8FEzv863fPZsl+z5Dci+aFVxxRmHfz bPv2RVDvO9XI1XjP+C18DEEYinB1HjLMvKhwHcn4ReF4zWCR9FZUZDV0HUPwuMW+vjK2 QjO8g9mGYDrm5YFTUrRJlMHXtvgAqXuRl+G8FThAXOwcUCE+bj6S7E705BSApim3rdYz vAuwqYxKG6AjQJjsM5iZ39T8RgYAm6EIGAMChBIUYcErdSroj4gSONxM6iKUqSt09C/Q dFLrNl0gKnf6FiJejtASWk4CeG/7MiJ0VKg9QdNC0ncaK4m6PQjRE5DX6tyMc3gLTFyY Jr/g== X-Gm-Message-State: AMCzsaVUqJH2B78kKxzB/CRICxEmSdWfmUZx0VK+5xI4z0Htg0J13QmK oHYTtZTbUOwZ5vE3fMrrNRqPhKw6BIpQ9PD1anE= X-Received: by 10.55.105.4 with SMTP id e4mr7013844qkc.40.1507132789093; Wed, 04 Oct 2017 08:59:49 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Jason Gross Date: Wed, 04 Oct 2017 15:59:38 +0000 Message-ID: Subject: Re: [HoTT] Voevodsky obituary To: "Daniel R. Grayson" , Homotopy Type Theory Content-Type: multipart/alternative; boundary="001a114ff2c285fddb055abab2b4" --001a114ff2c285fddb055abab2b4 Content-Type: text/plain; charset="UTF-8" Is there a version that doesn't require an IAS login? On Wed, Oct 4, 2017, 10:20 AM Daniel R. Grayson < danielrich...@gmail.com> wrote: > https://www.ias.edu/news/2017/vladimir-voevodsky-obituary > > -- > You received this message because you are subscribed to the Google Groups > "Homotopy Type Theory" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to HomotopyTypeThe...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > --001a114ff2c285fddb055abab2b4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Is there a version that doesn't require an IAS login?

On Wed, Oct 4, 2017, 10:20 = AM Daniel R. Grayson <danielr= ich...@gmail.com> wrote:
https://www.ias.edu/news/2017/vladimir-voevodsky= -obituary

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeThe...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--001a114ff2c285fddb055abab2b4--