compact view print

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
Computer science
category (sub)
Mathematics. Mathematics (miscellaneous)
Computer science. Computer science applications
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory
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