Jean-Yves Girard On the Unity of Logic. 201-217 1993 59 Ann. Pure Appl. Logic 3 db/journals/apal/apal59.html#Girard93