On the meaning of the logical rules I: syntax vs semantics. Institut de (1998)

by J-Y Girard