A Name-free Account of Action Calculi
Authors
- Philippa Gardner
Venue
Electr. Notes Theor. Comput. Sci., vol. 1, pp. 214–231
Publication Date
1995
Professor of Theoretical
Computer Science
Electr. Notes Theor. Comput. Sci., vol. 1, pp. 214–231
1995