A unified category-theoretic semantics for binding signatures in substructural logics
Reference:
Tanaka, M. and Power, J., 2006. A unified category-theoretic semantics for binding signatures in substructural logics. Journal of Logic and Computation, 16 (1), pp. 5-25.
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Official URL:
http://dx.doi.org/10.1093/logcom/exi070
Details
| Item Type | Articles |
| Creators | Tanaka, M.and Power, J. |
| DOI | 10.1093/logcom/exi070 |
| Departments | Faculty of Science > Computer Science |
| Refereed | Yes |
| Status | Published |
| ID Code | 5314 |
Export
Actions (login required)
| View Item |
