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

[Clément Aubert]

I am very sorry to read that he passed away, I was obviously not aware 
of this fact. My apologizes for this blunder.

Thomas Seiller reported that he is hosting a copy at

https://www.seiller.org/documents/Girard-phd.pdf

It's even OCR'ed!


On 1/2/22 3:19 PM, Jon Sterling wrote:
> [ 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$

-- 
     Clément Aubert, Assistant Professor of Computer Science,
     School of Computer and Cyber Sciences, Augusta University,
     https://spots.augusta.edu/caubert/