Didattica

Insegnamenti

2025 - 2026

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

2024 - 2025

• #DIMA (DIVULGAZIONE MATEMATICA) (cod. 105145)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE (cod. 42925)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE (cod. 42925)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA

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

Lista completa pubblicazioni IRIS