Linear logic, Theoretical Computer Science 50:1 (1987)

by J-Y Girard