2 categorial type logics. Handbook of logic and language (2010)

by M Moortgat