Bicategories in univalent foundations
statement of authorship
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri and Niels van der Weide
publisher
year of publication
ISSN
0960-1295
notes
Bibliogr.: 38 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
classifier
kvartiil
category (general)
TTÜ department
Reserch Group
Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., Van Der Weide, N. Bicategories in univalent foundations // Mathematical Structures in Computer Science (2022)