Note: This list contains duplicate records, as identified by the OpenAIRE deduplication algorithm based on metadata analysis.
Bicategories in univalent foundations
Mathematical Structures in Computer Science · 2021 · 10.1017/s0960129522000032
Bicategories in univalent foundations
Mathematical Structures in Computer Science · 2021 · 10.48550/arxiv.1903.01152
Bicategories in univalent foundations
Mathematical Structures in Computer Science · 2021 · 10.4230/lipics.fscd.2019.5