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 |
Year of Publication | 2010 |
Authors | Primiero, G |
Conference Name | Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop) |
Publisher | Citeseer |
Abstract | In this paper we present a multi-modal polymorphic constructive type theory for a computational interpretation of programs equipped with locations for data accessibility in the context of distributed processing. |
Citation Key | primiero2010multi |
PDF author (public):