Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop)
| 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):