Categorical Grammar by Buszkowski, W.