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

[Clément Aubert]

There are "bits and pieces" hosted at

https://www.cs.cmu.edu/~kw/scans/girard72thesis.pdf

as presented at

https://www.cs.cmu.edu/~kw/scans.html

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://spots.augusta.edu/caubert/