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

Mon, 27 Dec 2021 11:59:40 -0800 

[ 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 :- "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/

Reply via email to