Publications
“Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006. ![](/sites/default/themes/logica/images/biblio.png)
“On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)