A Type-theoretic Description of Action Calculi Venue Electronic Notes in Theoretical Computer Science 1997 Publication date Dec 1997 Identifiers DOI: doi:10.1016/S1571-0661(05)82513-7 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation