Marco Benini

Research

Current interests

  • Constructive and intuitionistic mathematics (with P. Schuster)
  • Theory of topoi and applications
  • 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)

Memberships

Conferences and Journals