Multi-Sorted Residuation

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_8 ◽

2014 ◽

pp. 136-155 ◽

Cited By ~ 1

Author(s):

Wojciech Buszkowski

Download Full-text