Bicategories in univalent foundations
autor
Ahrens, Benedikt
Frumin, Dan
Maggesi, Marco
Veltri, Niccolò
Weide, Niels van der
vastutusandmed
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri and Niels van der Weide
allikas
Mathematical Structures in Computer Science
kirjastus/väljaandja
Cambridge University Press
ilmumisaasta
2022
leitav
https://doi.org/10.1017/S0960129522000032
märksõna
teooriad
matemaatika
kategooriad (matemaatika)
võtmesõna
bicategory theory
Coq
dependent type theory
univalent mathematics
ISSN
0960-1295
märkused
Bibliogr.: 38 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium