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