Preprints.bib

@inproceedings{BasoldDependentInductiveCoinductive2015,
  title = {Dependent {{Inductive}} and {{Coinductive Types}} via {{Dialgebras}} in {{Fibrations}}},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/FibDialg.pdf},
  booktitle = {Unpublished},
  author = {Basold, Henning},
  month = apr,
  year = {2015},
  keywords = {own}
}

@article{Basold18:BreakingTheLoop,
  archiveprefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {1802.07143},
  title = {Breaking the {{Loop}}: {{Recursive Proofs}} for {{Coinductive Predicates}} in {{Fibrations}}},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/RecCoindLogic-new.pdf},
  journal = {ArXiv e-prints},
  author = {Basold, Henning},
  month = feb,
  year = {2018},
  keywords = {Computer Science - Logic in Computer Science},
  eprintclass = {cs.LO},
  adsurl = {http://adsabs.harvard.edu/abs/2018arXiv180207143B},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@inproceedings{BasoldCoinductionUniformFoundations2018,
  title = {Coinduction in {{Uniform}}: {{Foundations}} for {{Corecursive Proof Search}} with {{Horn Clauses}}},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/uniform-corec.pdf},
  booktitle = {Unpublished},
  author = {Basold, Henning and Komendantskaya, Ekaterina and Li, Yue},
  month = jul,
  year = {2018}
}