@incollection{buszkowski_2014,
 title = {Multi-Sorted Residuation},
 author = {Buszkowski, Wojciech},
 year = {2014},
 booktitle = {Categories and Types in Logic, Language, and Physics},
 series = {Lecture Notes in Computer Science},
 volume = {8222},
 pages = {136--155},
 publisher = {Springer},
 url = {https://link.springer.com/chapter/10.1007/978-3-642-54789-8_8}
}