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
keel
inglise
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
Uurimisrühm
Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., Van Der Weide, N. Bicategories in univalent foundations // Mathematical Structures in Computer Science (2022)