| Original language | English |
|---|---|
| Title of host publication | Proc. Workshop on Logics for Resources, Processes, and Programs |
| Publication status | Published - 2004 |
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