A unified category-theoretic approach to substitution in substructural logics

M Tanaka, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Cite this