Closed Action Calculi Venue Theoretical Computer Science 1999 Publication date Oct 1999 Identifiers DOI: doi:10.1016/S0304-3975(98)00355-7 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation