Closed Categories and Categorial Grammar dougherty-1993Notre Dame journal of formal logic · 1993