Text this: Linear logic in computer science / edited by Thomas Ehrhard [and others].