A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network.

Giuseppe Primiero

Browse the full LICS paper archive.