Primiero, Giuseppe. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.

Primiero, Giuseppe, and Mariarosaria Taddeo. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.

De Mol, Liesbeth. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” Giuseppe Primiero and Allo, Patrick. Third Workshop in the Philosophy of Information: 80-92.

De Mol, Liesbeth, and Giuseppe Primiero. 2012. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.

Primiero, Giuseppe. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” Shahid Rahman, Primiero, Giuseppe, and Marion, Mathieu. The realism-antirealism debate in the age of alternative logics: 191–212.

Primiero, Giuseppe. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” Shahid Rahman, Primiero, Giuseppe, and Marion, Mathieu. The realism-antirealism debate in the age of alternative logics: 191–212.

Jespersen, Bjørn, and Giuseppe Primiero. 2013. “Alleged Assassins: Realist And Constructivist Semantics For Modal Modification”. Logic, Language, and Computation 7758: 94–114.

Primiero, Giuseppe. 2013. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.

Primiero, Giuseppe. 2013. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.

Pouliasis, Konstantinos, and Giuseppe Primiero. 2014. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.

Primiero, Giuseppe, and Laszlo Kosolosky. In Press. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.