Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop)

TitleA Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network.
Publication TypeConference Paper
Year of Publication2010
AuthorsPrimiero, G
Conference NameElectronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop)
PublisherCiteseer
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 Keyprimiero2010multi
Download PDF (Author PDF)
PDF author (public):