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 › Chapter or section