Stefano Piceghello's picture

Stefano Piceghello

Researcher

Department of Informatics

E-mailStefano.Piceghello@uib.no
Phone+47 457 86 569
Visitor Address
HIB - Thormøhlensgt. 55
Postal Address
Postboks 7803

5020 Bergen

Publications

Academic lecture

2019. Coherence for symmetric monoidal groupoids in HoTT/UF.
Show author(s)

2018. Monoidal structures and formalization of coherence theorems.
Show author(s)

More information in national current research information system (CRIStin)

Fields of competence

Category Theory