[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