Person. Wojciech Buszkowski Papers Multi-Sorted Residuation buszkowski_2014Categories and Types in Logic, Language, and Physics · 2014 Web Type Logics in Grammar buszkowskiTypeLogicsGrammar2003Trends in Logic · 2003 DOI