A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network.
| Title | A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. |
| Publication Type | Conference Paper |
| Authors | Primiero, G |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):