Re: [TYPES] Wanted: Jean-Yves Girard's "Interpre ́tation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"

Clément Aubert <Clement.Aubert-Nx8XtFk7DUpvynnTyRI/[email protected]> Mon, 27 Dec 2021 12:51:29 -0500

Newsgroups	gmane.comp.science.types
Message-ID	<[email protected]>

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

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 :- "Interprétation fonctionnelle et
> élimination des coupures de l'arithmétique d'ordre supé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/