Research

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
CreatorsTanaka, M.and Power, J.
DOI10.1093/logcom/exi070
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code5314

Export

Actions (login required)

View Item