This list is in reverse chronological order.
A certified proof of the Cartan Fixed Point Theorems. (With Gianni Ciolli and Graziano Gentili) (preprint 2009)
Neste Abstract Syntax in Coq. (With André Hirschowitz) (preprint 2009)
Modules over Monads and Initial Semantics. (With André Hirschowitz) Information and Computation, Vol. 208, Issue 5, Pages 395-604, May 2010.
The algebraicity of the lambda-calculus. (With André Hirschowitz) preprint 2007 arXiv:0704.2900.
Modules over Monads and Linearity. (With André Hirschowitz) in Daniel Leivant, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4576 Springer 2007 (arXiv:cs/0608051).
Favorire la diffusione di WIMS in Italia. Didamatica 2007.
Verifica automatica del ragionamento matematico. (With Carlos Simpson) Bollettino U.M.I., Sezione A, La Matematica nella Società e nella Cultura, Serie VIII, Vol. IX-A, Dicembre 2006/1, 361-389
On the quantum cohomology of some Fano threefolds. (With Vincenzo Ancona) Adv. Geom. 5 (2005), no. 1, 49—70.
Modules over monads and typoids. (With André Hirschowitz) 2004. Note du Laboratoire J.A.Dieudonné, PUMA, 698, 28 p. (CNRS, France).
Information technology implications for mathematics - a view from the French riviera. (With Carlos Simpson)
On the quantum cohomology of Fano bundles over projective spaces. (With Vincenzo Ancona) The Fano Conference, 81—98, Univ. Torino, Turin, 2004.
Minimal resolution of general stable rank-2 vector bundles on P2. (With Carla Dionisi) Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 6 (2003), no. 1, 151—160.
MP3(0,2d2) is singular. Forum Math. 8 (1996), no. 3, 397—400.
