- E-mailStefano.Piceghello@uib.no
- Phone+47 457 86 569
- Visitor AddressRealfagbygget, Allégt. 41
- Postal AddressPostboks 78035020 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