A unified category-theoretic semantics for binding signatures in substructural logics

Miki Tanaka, John Power

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)
Original languageEnglish
Pages (from-to)5-25
Number of pages21
JournalJournal of Logic and Computation
Volume16
Issue number1
DOIs
Publication statusPublished - 2006

Cite this