Didattica

Insegnamenti

2025 - 2026

• LOGICA - A - A (cod. 73029)
  CORSO DI LAUREA - INFORMATICA

Ricerca

Pubblicazioni IRIS

• A comonad for Grothendieck fibrations
  Anno: 2024
• A characterisation of elementary fibrations
  Anno: 2022
• Elementary fibrations of enriched groupoids
  Anno: 2021
• Doctrines, modalities and comonads
  Anno: 2021
• Elementary doctrines as coalgebras
  Anno: 2020