logic, Theoretical Computer Science 50 (1987)

by Jean-Yves Girard, Linear