* Voevodsky obituary
@ 2017-10-04 14:20 Daniel R. Grayson
2017-10-04 15:59 ` [HoTT] " Jason Gross
2017-10-04 21:58 ` Daniel R. Grayson
0 siblings, 2 replies; 4+ messages in thread
From: Daniel R. Grayson @ 2017-10-04 14:20 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 58 bytes --]
https://www.ias.edu/news/2017/vladimir-voevodsky-obituary
[-- Attachment #1.2: Type: text/html, Size: 82 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [HoTT] Voevodsky obituary
2017-10-04 14:20 Voevodsky obituary Daniel R. Grayson
@ 2017-10-04 15:59 ` Jason Gross
2017-10-04 16:03 ` Guillaume Brunerie
2017-10-04 21:58 ` Daniel R. Grayson
1 sibling, 1 reply; 4+ messages in thread
From: Jason Gross @ 2017-10-04 15:59 UTC (permalink / raw)
To: Daniel R. Grayson, Homotopy Type Theory
[-- Attachment #1: Type: text/plain, Size: 515 bytes --]
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.
>
[-- Attachment #2: Type: text/html, Size: 1025 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [HoTT] Voevodsky obituary
2017-10-04 15:59 ` [HoTT] " Jason Gross
@ 2017-10-04 16:03 ` Guillaume Brunerie
0 siblings, 0 replies; 4+ messages in thread
From: Guillaume Brunerie @ 2017-10-04 16:03 UTC (permalink / raw)
To: Jason Gross; +Cc: Daniel R. Grayson, Homotopy Type Theory
I can’t access it either, even though I have an IAS login.
On Wed, Oct 4, 2017 at 11:59 AM, Jason Gross <jason...@gmail.com> wrote:
> 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.
>
> --
> 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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Voevodsky obituary
2017-10-04 14:20 Voevodsky obituary Daniel R. Grayson
2017-10-04 15:59 ` [HoTT] " Jason Gross
@ 2017-10-04 21:58 ` Daniel R. Grayson
1 sibling, 0 replies; 4+ messages in thread
From: Daniel R. Grayson @ 2017-10-04 21:58 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 26 bytes --]
The link should work now.
[-- Attachment #1.2: Type: text/html, Size: 46 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2017-10-04 21:58 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-10-04 14:20 Voevodsky obituary Daniel R. Grayson
2017-10-04 15:59 ` [HoTT] " Jason Gross
2017-10-04 16:03 ` Guillaume Brunerie
2017-10-04 21:58 ` Daniel R. Grayson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).