Home
Stefano Piceghello's picture

Stefano Piceghello

Researcher
  • E-mailStefano.Piceghello@uib.no
  • Phone+47 457 86 569
  • Visitor Address
    Realfagbygget, Allégt. 41
  • Postal Address
    Postboks 7803
    5020 Bergen
Academic article
  • 2020. Coherence for Monoidal Groupoids in HoTT. Leibniz International Proceedings in Informatics. 8:1-8:20.
Academic lecture
  • 2019. Coherence for symmetric monoidal groupoids in HoTT/UF.
  • 2018. Monoidal structures and formalization of coherence theorems.

More information in national current research information system (CRIStin)

Fields of competence