A Name-free Account of Action Calculi

Authors

  • Philippa Gardner

Venue

Electr. Notes Theor. Comput. Sci., vol. 1, pp. 214–231

Publication Date

1995

Identifiers

Source Materials