A Type-theoretic Description of Action Calculi Venue Electr. Notes Theor. Comput. Sci., vol. 10, pp. 52 Publication Year 1997 Identifiers DOI: doi:10.1016/S1571-0661(05)82513-7 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation