[TYPES] Wanted: Jean-Yves Girard's "Interpre ́tation fonctionnelle et élimination des coup ures de l'arithmétique d'ordre supérieur "
Aaron Gray <[email protected]> Thu, 16 Dec 2021 20:38:27 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CANkmNDeyuXu63UOOxWR9t122zbHrcz1tG=v-iZim-zPxFx_X-Q@mail.gmail.com> |
[ 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 -- Aaron Gray Independent Open Source Software Engineer, Computer Language Researcher, and amateur computer scientist.