Constructing higher inductive types as groupoid quotients
author
Veltri, Niccolo
Weide, Niels van der
statement of authorship
Niccolò Veltri, Niels van der Weide
source
Logical methods in computer science
publisher
Logical Methods in Computer Science
journal volume number month
vol. 17, 2
year of publication
2021
pages
p. 8:1−8:42
url
https://doi.org/10.23638/LMCS-17(2:8)2021
subject term
loogika
algebra
arvutiteadus
keyword
higher inductive types
homotopy type theory
Coq
bicategories
ISSN
1860-5974
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory