@inproceedings{LochbihlerSchneider2018ITP,
author = {Andreas Lochbihler and Joshua Schneider},
title = {Relational parametricity and quotient preservation for modular (co)datatypes},
editor = {Jeremy Avigad and Assia Mahboubi},
booktitle = {Interactive Theorem Proving (ITP
2018)},
series = {LNCS},
publisher = {Springer},
year =
2018,
}
@
article{BNF_Operations-AFP,
author = {Jasmin Christian Blanchette and Andrei Popescu and Dmitriy Traytel},
title = {Operations on Bounded Natural Functors},
journal = {Archive of Formal Proofs},
month = dec,
year =
2017,
note = {
\url{
http://isa-afp.org/entries/BNF_Operations.html},
Formal proof development},
ISSN = {
2150-
914x},
}
