Re: [TYPES] Wanted: Jean-Yves Girard's "Interpr étation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

I am very sorry to say that Kevin Watkins has passed away in May of last year. https://urldefense.com/v3/__https://www.asturner.com/obituaries/Kevin-Mark-Watkins?obId=21294662__;!!IBzWLUs!Ee08k8u04YKLxfzbGGztRaxj16VcgTsn82gmcVBxI0jjViWhAJhR2IfGcet1_BYZnCZfCPMDM3M$ 

Best wishes,
Jon


On Mon, Dec 27, 2021, at 6:51 PM, Clément Aubert wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
>
> There are "bits and pieces" hosted at
>
> https://urldefense.com/v3/__https://www.cs.cmu.edu/*kw/scans/girard72thesis.pdf__;fg!!IBzWLUs!Ee08k8u04YKLxfzbGGztRaxj16VcgTsn82gmcVBxI0jjViWhAJhR2IfGcet1_BYZnCZfawtxZYw$ 
>
> as presented at
>
> https://urldefense.com/v3/__https://www.cs.cmu.edu/*kw/scans.html__;fg!!IBzWLUs!Ee08k8u04YKLxfzbGGztRaxj16VcgTsn82gmcVBxI0jjViWhAJhR2IfGcet1_BYZnCZfvgAh6Qw$ 
>
> Maybe you can ask Kevin Watkins for more and/or a source?
>
>
> On 12/16/21 3:38 PM, Aaron Gray wrote:
>> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>>
>> Jean-Yves Girard Ph.D thesis :- "Interprétation fonctionnelle et
>> élimination des coupures de l'arithmétique d'ordre supérieur"
>>
>> Putting out the feelers for a copy of Jean-Yves Girard Ph.D thesis again.
>>
>> Regards,
>>
>> Aaron
>
> -- 
>      Clément Aubert, Assistant Professor of Computer Science,
>      School of Computer and Cyber Sciences, Augusta University,
>      https://urldefense.com/v3/__https://spots.augusta.edu/caubert/__;!!IBzWLUs!Ee08k8u04YKLxfzbGGztRaxj16VcgTsn82gmcVBxI0jjViWhAJhR2IfGcet1_BYZnCZfZV78LUo$