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
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85126564877&origin=resultslist&sort=plf-f&src=s&sid=f3880937bc83a1fb5bcb9c6ff4887033&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000032%29&sl=30&sessionSearchId=f3880937bc83a1fb5bcb9c6ff4887033&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000767071800001
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory