Bicategories in univalent foundations

vastutusandmed
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri and Niels van der Weide
kirjastus/väljaandja
ilmumisaasta
ISSN
0960-1295
märkused
Bibliogr.: 38 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., Van Der Weide, N. Bicategories in univalent foundations // Mathematical Structures in Computer Science (2022) https://doi.org/10.1017/S0960129522000032