A Type-theoretic Description of Action Calculi
Authors
- Philippa Gardner
Venue
Electr. Notes Theor. Comput. Sci., vol. 10, pp. 52
Publication Date
1997
Professor of Theoretical
Computer Science
Electr. Notes Theor. Comput. Sci., vol. 10, pp. 52
1997