RUGGERO PAGNAN (Università di Genova – Matematica)
(pagnan@dima.unige.it)category theory, mathematical logic and the scientific discipline generated by their interaction, that is categorical logic, together with actual and potential applicative aspects of any sort