Linear Logic in Computer Science

Thomas Ehrhard (المحرر) , Paul Ruet (المحرر) , Jean-Yves Girard (المحرر)