Publications
Export 6 results:
Author Title Type [ Year
] Filters: Author is Primiero, Giuseppe and First Letter Of Title is M [Clear All Filters]
. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.
. 2010. “A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2008. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.
. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.