Marco Benini


Current interests

  • Constructive and intuitionistic mathematics (with P. Schuster)
  • Homotopy type theory
  • Point-free semantics of constructive systems
  • Well-quasi orderings
  • Philosophy of information (with F. Gobbo and following the ideas of L. Floridi)

Also, from my past works

  • Formalisation of natural language in constructive mathematics (with F. Gobbo)

Phd students

  • Federico Gobbo, dissertation on adpositional grammars and constructive linguistics (2006 – 2009)
  • Roberta Bonacina, working on point-free semantics of constructive systems (2016 – present)


Conferences and Journals