A Name-free Account of Action Calculi Venue Electronic Notes in Theoretical Computer Science 1995 Publication date Mar 1995 Identifiers DOI: doi:10.1016/S1571-0661(04)80012-4 Authors Philippa Gardner Source Materials Published Version Published Edition BibTeX Citation