Constructing higher inductive types as groupoid quotients
autor
Veltri, Niccolo
Weide, Niels van der
vastutusandmed
Niccolò Veltri, Niels van der Weide
allikas
Logical methods in computer science
kirjastus/väljaandja
Logical Methods in Computer Science
ajakirja aastakäik number kuu
vol. 17, 2
ilmumisaasta
2021
leheküljed
p. 8:1−8:42
leitav
https://doi.org/10.23638/LMCS-17(2:8)2021
märksõna
loogika
algebra
arvutiteadus
võtmesõna
higher inductive types
homotopy type theory
Coq
bicategories
ISSN
1860-5974
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85105276320&origin=inward&txGid=4bb9fffc1179ed99e1a594a36418aceb
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000658731000009
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium