Publication View

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

Publication details

Publisher	Oxford University Press
Repository	University of Bath Online Publications Store - OPuS (United Kingdom)
Type	Article, PeerReviewed
Relation	http://opus.bath.ac.uk/5314/