Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski 0001. Coq Support in HAHA. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{ChrzaszczSZ16,
title = {Coq Support in HAHA},
author = {Jacek Chrzaszcz and Aleksy Schubert and Jakub Zakrzewski 0001},
year = {2016},
doi = {10.4230/LIPIcs.TYPES.2016.8},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2016.8},
researchr = {https://researchr.org/publication/ChrzaszczSZ16},
cites = {0},
citedby = {0},
booktitle = {22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia},
editor = {Silvia Ghilezan and Herman Geuvers and Jelena Ivetic},
volume = {97},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-065-1},
}