Linear logic. Theoretical Computer Science, 50:1– 102. Vulnerability, Complexity and Variation in Language Acquisition 19 (1987)

by J-Y Girard