Conferences.bib

@inproceedings{Basold-DepCoindFibDialg,
  series = {{{EPTCS}}},
  title = {Dependent {{Inductive}} and {{Coinductive Types}} Are {{Fibrational Dialgebras}}},
  volume = {191},
  booktitle = {Proceedings of {{FICS}} '15},
  publisher = {{Open Publishing Association}},
  doi = {10.4204/EPTCS.191.3},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/FibDialg-poly.pdf},
  author = {Basold, Henning},
  editor = {Matthes, Ralph and Mio, Matteo},
  year = {2015},
  keywords = {own},
  pages = {3-17}
}

@inproceedings{BHPR:NewtonSeriesCoind,
  title = {Newton {{Series}}, {{Coinductively}}},
  booktitle = {Proceedings of {{ICTAC}} '15},
  doi = {10.1007/978-3-319-25150-9_7},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/NewtonCoind.pdf},
  author = {Basold, Henning and Hansen, Helle Hvid and Pin, Jean-\'Eric and Rutten, Jan},
  year = {2015},
  keywords = {own},
  pages = {91-109}
}

@inproceedings{BGHM14:SMT-Scade,
  title = {An {{Open Alternative}} for {{SMT}}-{{Based Verification}} of {{Scade Models}}},
  booktitle = {Proceedings of {{Formal Methods}} for {{Industrial Critical Systems}}, {{FMICS}} 2014},
  doi = {10.1007/978-3-319-10702-8_9},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/lama.pdf},
  author = {Basold, Henning and G\"unther, Henning and Huhn, Michaela and Milius, Stefan},
  year = {2014},
  keywords = {own},
  pages = {124-139}
}

@inproceedings{Basold16:DepIndCoindTypes,
  archiveprefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {1605.02206},
  title = {Type {{Theory}} Based on {{Dependent Inductive}} and {{Coinductive Types}}},
  booktitle = {Proceedings of {{LICS}} '16},
  publisher = {{ACM}},
  doi = {10.1145/2933575.2934514},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/DepIndCoindTypes.pdf},
  author = {Basold, Henning and Geuvers, Herman},
  year = {2016},
  keywords = {own},
  pages = {327-336}
}

@inproceedings{BPR17:MonoidalCompany,
  series = {{{LIPIcs}}},
  title = {Monoidal {{Company}} for {{Accessible Functors}}},
  volume = {72},
  booktitle = {{{CALCO}} 2017},
  publisher = {{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}},
  doi = {10.4230/LIPIcs.CALCO.2017.5},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/MonoidalCompanyAccessible.pdf},
  author = {Basold, Henning and Pous, Damien and Rot, Jurriaan},
  year = {2017},
  keywords = {own}
}

@inproceedings{Basold19:CoinductionUniform,
  archiveprefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {1811.07644},
  series = {{{LNCS}}},
  title = {Coinduction in {{Uniform}}: {{Foundations}} for {{Corecursive Proof Search}} with {{Horn Clauses}}},
  volume = {11423},
  booktitle = {{{ESOP}}'19},
  publisher = {{Springer}},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/uniform-corec.pdf},
  author = {Basold, Henning and Komendantskaya, Ekaterina and Li, Yue},
  year = {2019}
}