From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.46.99.1 with SMTP id x1mr988489ljb.11.1507133017479; Wed, 04 Oct 2017 09:03:37 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.25.22.29 with SMTP id m29ls374223lfi.12.gmail; Wed, 04 Oct 2017 09:03:34 -0700 (PDT) X-Received: by 10.46.87.30 with SMTP id l30mr962366ljb.1.1507133014669; Wed, 04 Oct 2017 09:03:34 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1507133014; cv=none; d=google.com; s=arc-20160816; b=efcXtza6+Z9Nrnikxx67u/9cDkqDa1TpkB82GsPK9pfpNK08O8cWzRJvvOaBpbmS8f 4RI4fQqrJSO8lK0JirNEKxGzPBqv38NFs9GIIWbLeOklBkwb6VoB4EnkudXGKVCb7GdP NkOu1SOvUW1CA9B7g7lDT8I/nCrR1U0tz0Bg2NaAcVqsGeGNalSczwZAoEL7npdmx/sS KWDXhJiYwKjYJmlSscS8GYAXplayp7/zKBm9+odAiiaNVKUoDrbN4UIWhpBRuFi0xLU5 /8bPUsIRNesu/nCxpiG4oKr+cCXTxkfOm0lmaRYu2/VRDO7MUwR8I/m6OhK9qFEd3h5y q32w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:cc:to:subject:message-id:date:from :references:in-reply-to:mime-version:dkim-signature :arc-authentication-results; bh=Ho2VWNxboP/fHZ+EdJ052LwwI9YGPWW8USBpoHxhPQc=; b=vC5zu+ZuIDZ3HzW76tYefEgxBZBxl5B+EZq5eny3sFFRlph9EPc6S56FfgoL8QTg+Z tR77rQ4INlRR2NnPMqUCD+S5SD+b1wi61Yxs3wQb5y43RlGC1Zk/uucPUV/vtqhc4IZN MQKn9yVI6tkz3y6FnMM7hnFjjdYWahjBsk55UCcdgF5fnG/2B+4loEF3FyHiKUDLnNeE qLMsv5BMHaJ+vmYzTgmeD3TFjPKd5aYtDNypaSxV4obn3wTH+G8YJKjFnqSmRsdoo/o6 o02OaAMUvFovQp5P1FiHx8OGWfFqvrgKuBmc92xr+pdQIVzHJxHZKDW5rsriV9pFSDrh fZyg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=XegcoHMF; spf=pass (google.com: domain of guillaume...@gmail.com designates 2a00:1450:4010:c07::232 as permitted sender) smtp.mailfrom=guillaume...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-lf0-x232.google.com (mail-lf0-x232.google.com. [2a00:1450:4010:c07::232]) by gmr-mx.google.com with ESMTPS id i68si528665lfk.6.2017.10.04.09.03.34 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 04 Oct 2017 09:03:34 -0700 (PDT) Received-SPF: pass (google.com: domain of guillaume...@gmail.com designates 2a00:1450:4010:c07::232 as permitted sender) client-ip=2a00:1450:4010:c07::232; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=XegcoHMF; spf=pass (google.com: domain of guillaume...@gmail.com designates 2a00:1450:4010:c07::232 as permitted sender) smtp.mailfrom=guillaume...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-lf0-x232.google.com with SMTP id l23so7087696lfk.10 for ; Wed, 04 Oct 2017 09:03:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=Ho2VWNxboP/fHZ+EdJ052LwwI9YGPWW8USBpoHxhPQc=; b=XegcoHMFl/6Oiqvu8urAJjf2p4EdE9fm7Je6bFdoQNFjqp8ddbaDELlOj6OV9iyO8f NcSFggdb2w7Ek2ilKFyIFrj7u71KPGvPOA8J288Ox8e+qUlia6xnxw9HmMJMdf8d2IIa tYd9dkYvAT2gb3SnLdjC1Fnt6kGpVX4mQ9FFALKJiYYso8ZUb37kQ2rKXs/xeVPHIUGN bCTVxJzhaSzpXiY+8lkbiERagBxCrJIGfhUgwhh15Bbz6wTbuNxtu7o4zmSc6oYXXxrK 36ptols0GRnsJ2xUc7kQPUyNESNDhS+yZ9xUpNHalJAb0qAa2Pz8BtTL7eGnJBF4I194 XlOg== X-Gm-Message-State: AHPjjUilTwCrmyWGuBM0AKi62feK4h6vV/tfGbb8BfuKyIMsVNe4RZDP ASxxqvkMHbJd0PQ6pA7Fli31XHBfymF72RjzTw== X-Received: by 10.46.32.82 with SMTP id g79mr9983279ljg.29.1507133013033; Wed, 04 Oct 2017 09:03:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.70.25 with HTTP; Wed, 4 Oct 2017 09:03:17 -0700 (PDT) In-Reply-To: References: From: Guillaume Brunerie Date: Wed, 4 Oct 2017 12:03:17 -0400 Message-ID: Subject: Re: [HoTT] Voevodsky obituary To: Jason Gross Cc: "Daniel R. Grayson" , Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I can=E2=80=99t access it either, even though I have an IAS login. On Wed, Oct 4, 2017 at 11:59 AM, Jason Gross wrote: > Is there a version that doesn't require an IAS login? > > > On Wed, Oct 4, 2017, 10:20 AM Daniel R. Grayson > wrote: >> >> https://www.ias.edu/news/2017/vladimir-voevodsky-obituary >> >> -- >> You received this message because you are subscribed to the Google Group= s >> "Homotopy Type Theory" group. >> To unsubscribe from this group and stop receiving emails from it, send a= n >> email to HomotopyTypeThe...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > 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.