This list is in reverse chronological order.

  • A certified proof of the Cartan Fixed Point Theorems. (With Gianni Ciolli and Graziano Gentili) (preprint 2009)

  • Nested Abstract Syntax in Coq. (With André Hirschowitz) Journal of Automated Reasoning, October 2012, Volume 49, Issue 3, pp 409-426. Springer Link. Open archive HAL: hal-01294214.

  • 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.