| Original language | English |
|---|---|
| Title of host publication | Proc. Workshop on Logics for Resources, Processes, and Programs |
| Publication status | Published - 2004 |
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS
A unified category-theoretic approach to substitution in substructural logics
- M Tanaka
- , John Power
Research output: Chapter or section in a book/report/conference proceeding › Book chapter