Linear logic,” Theoretical (1987)

by J-Y Girard
Venue:Computer Science