Categorical type Logics’, In (1997)

by M Moortgat
Venue:Handbook of Logic and Language, Elsevier,