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
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Mathematics
en
Matemaatika
et
Computer science
en
Arvutiteadus
et
kategooria (alam)
Mathematics. Mathematics (miscellaneous)
en
Matemaatika. Matemaatika (mitmesugused)
et
Computer science. Computer science applications
en
Arvutiteadus. Arvutiteaduse rakendused
et
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium