Inproceedings,
The Integers as a Higher Inductive Type.
T. Altenkirch, and L. Scoccola.LICS, page 67-73. ACM, (2020)
Meta data
- BibTeX key
- conf/lics/AltenkirchS20
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2020
- pages
- 67-73
- publisher
- ACM
- crossref
- conf/lics/2020
- ee
- https://doi.org/10.1145/3373718.3394760
- isbn
- 978-1-4503-7104-9
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2020.html#AltenkirchS20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/AltenkirchS20
%A Altenkirch, Thorsten
%A Scoccola, Luis
%B LICS
%D 2020
%E Hermanns, Holger
%E Zhang, Lijun
%E Kobayashi, Naoki
%E Miller, Dale
%I ACM
%K dblp
%P 67-73
%T The Integers as a Higher Inductive Type.
%U http://dblp.uni-trier.de/db/conf/lics/lics2020.html#AltenkirchS20
%@ 978-1-4503-7104-9
@inproceedings{conf/lics/AltenkirchS20,
added-at = {2020-06-02T00:00:00.000+0200},
author = {Altenkirch, Thorsten and Scoccola, Luis},
biburl = {https://www.bibsonomy.org/bibtex/2f3c35b4e5af588be29fc5d97af2fdeb4/dblp},
booktitle = {LICS},
crossref = {conf/lics/2020},
editor = {Hermanns, Holger and Zhang, Lijun and Kobayashi, Naoki and Miller, Dale},
ee = {https://doi.org/10.1145/3373718.3394760},
interhash = {ce97d2ff044d92a022928f301bc14944},
intrahash = {f3c35b4e5af588be29fc5d97af2fdeb4},
isbn = {978-1-4503-7104-9},
keywords = {dblp},
pages = {67-73},
publisher = {ACM},
timestamp = {2024-04-09T13:16:48.000+0200},
title = {The Integers as a Higher Inductive Type.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2020.html#AltenkirchS20},
year = 2020
}