A Type-theoretic Description of Action Calculi

Authors

  • Philippa Gardner

Venue

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

Publication Date

1997

Identifiers

Source Materials