Philippa Gardner

A Type-theoretic Description of Action Calculi

Authors

• Philippa Gardner

Venue

Electronic Notes in Theoretical Computer Science 1997

Publication Date

Dec 1997

Identifiers

• DOI: doi:10.1016/S1571-0661(05)82513-7

Source Materials

• Authors' Preprint/Accepted Version
• Published Edition
• BibTeX Citation