Didattica

Insegnamenti

2025 - 2026

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

2024 - 2025

• LOGICA MATEMATICA (cod. 90705)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• TEORIA DELLE CATEGORIE (cod. 109054)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA

Ricerca

Pubblicazioni IRIS

• A comonad for Grothendieck fibrations
  Anno: 2024
• A 2-categorical analysis of context comprehension
  Anno: 2024
• Categorical Models of Subtyping
  Anno: 2024
• B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
  Anno: 2023
• A characterisation of elementary fibrations
  Anno: 2022

Lista completa pubblicazioni IRIS