Publications
Export 4 results:
Author Title Type [ Year
Filters: Author is Primiero, Giuseppe and First Letter Of Title is T [Clear All Filters]
“A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. 

“Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. 
“Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. 
“Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. 
