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

[Aaron Gray]

[ 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.