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

Miki Tanaka, John Power

Research output: Contribution to journal › Article › peer-review

13 Citations (SciVal)

Original language	English
Pages (from-to)	5-25
Number of pages	21
Journal	Journal of Logic and Computation
Volume	16
Issue number	1
DOIs	https://doi.org/10.1093/logcom/exi070
Publication status	Published - 2006

Access to Document

@article{1085741adf7c4629bd288fbfce2acca1,

title = "A unified category-theoretic semantics for binding signatures in substructural logics",

author = "Miki Tanaka and John Power",

year = "2006",

doi = "10.1093/logcom/exi070",

language = "English",

volume = "16",

pages = "5--25",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}

TY - JOUR

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

AU - Tanaka, Miki

AU - Power, John

PY - 2006

Y1 - 2006

UR - http://dx.doi.org/10.1093/logcom/exi070

U2 - 10.1093/logcom/exi070

DO - 10.1093/logcom/exi070

M3 - Article

SN - 0955-792X

VL - 16

SP - 5

EP - 25

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 1

ER -