Domain Reasoning in TopKAT.

Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi

Browse the full ICALP paper archive.