@conference {primiero2010multi,
	title = {A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network.},
	booktitle = {Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop)},
	year = {2010},
	publisher = {Citeseer},
	organization = {Citeseer},
	abstract = {<p>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.</p>},
	author = {Primiero, Giuseppe}
}
