Language completeness of the Lambek calculus | IEEE Conference Publication | IEEE Xplore