Philippa Gardner

A Type-theoretic Description of Action Calculi

Authors

• Philippa Gardner

Venue

Electr. Notes Theor. Comput. Sci., vol. 10, pp. 52

Publication Date

Dec 1997

Identifiers

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

Source Materials

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