From Action Calculi to Linear Logic Venue Computer Science Logic (CSL) 1997 Publication date Aug 1997 Identifiers DOI: doi:10.1007/BFb0028008 Authors Andrew G. Barber Philippa Gardner Masahito Hasegawa Gordon D. Plotkin Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation