Towards a Logic of Dilation.

Arina Britz, Ivan Varzinczak

Browse the full CADE paper archive.