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

Aaron Gray aaronngray.lists at gmail.com
Thu Dec 16 15:38:27 EST 2021


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
-- 
Aaron Gray

Independent Open Source Software Engineer, Computer Language
Researcher, and amateur computer scientist.


More information about the Types-list mailing list