Bicategories in univalent foundations
author
Ahrens, Benedikt
Frumin, Dan
Maggesi, Marco
Veltri, Niccolò
Weide, Niels van der
statement of authorship
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri and Niels van der Weide
source
Mathematical Structures in Computer Science
publisher
Cambridge University Press
year of publication
2022
url
https://doi.org/10.1017/S0960129522000032
subject term
teooriad
matemaatika
kategooriad (matemaatika)
keyword
bicategory theory
Coq
dependent type theory
univalent mathematics
ISSN
0960-1295
notes
Bibliogr.: 38 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Mathematics
en
Matemaatika
et
Computer science
en
Arvutiteadus
et
category (sub)
Mathematics. Mathematics (miscellaneous)
en
Matemaatika. Matemaatika (mitmesugused)
et
Computer science. Computer science applications
en
Arvutiteadus. Arvutiteaduse rakendused
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory