Linear logic. Theoretical computer science (1987)

by J-Y Girard