A unified category-theoretic approach to substitution in substructural logics

M Tanaka, John Power

Research output: Chapter or section in a book/report/conference proceedingChapter or section

Original languageEnglish
Title of host publicationProc. Workshop on Logics for Resources, Processes, and Programs
Publication statusPublished - 2004

Cite this