Relations and Non-commutative Linear Logic (1991)

by C Brown, D Gurr