[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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/