Bicategories in univalent foundations
vastutusandmed
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri and Niels van der Weide
kirjastus/väljaandja
ilmumisaasta
märksõna
ISSN
0960-1295
märkused
Bibliogr.: 38 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kvartiil
TTÜ struktuuriüksus
keel
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) https://doi.org/10.1017/S0960129522000032