Tag. chu-construction

chu-construction

References (3)

On the Lambek Calculus with an Exchange Modality depaiva-eades-jiang-2019-lambek-exchangeEPTCS · 2019
DOI · arXiv

Dialectica Categories for the Lambek Calculus depaiva2018-dialectica-lambekLFCS · 2018
DOI · arXiv

Nonsymmetric *-autonomous categories barr1995-nonsymmetric-star-autonomousTCS · 1995
DOI
tag-chu-construction tag