Conferences.bib

@inproceedings{Basold-DepCoindFibDialg,
  series = {EPTCS},
  title = {Dependent {{Inductive}} and {{Coinductive Types}} Are {{Fibrational Dialgebras}}},
  volume = {191},
  doi = {10.4204/EPTCS.191.3},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/FibDialg-poly.pdf},
  booktitle = {Proceedings of {{FICS}} '15},
  publisher = {{Open Publishing Association}},
  author = {Basold, Henning},
  editor = {Matthes, Ralph and Mio, Matteo},
  year = {2015},
  keywords = {own},
  pages = {3-17}
}
@inproceedings{BHPR:NewtonSeriesCoind,
  title = {Newton {{Series}}, {{Coinductively}}},
  doi = {10.1007/978-3-319-25150-9_7},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/NewtonCoind.pdf},
  booktitle = {Proceedings of {{ICTAC}} '15},
  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}}},
  doi = {10.1007/978-3-319-10702-8_9},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/lama.pdf},
  booktitle = {Proceedings of {{Formal Methods}} for {{Industrial Critical Systems}}, {{FMICS}} 2014},
  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}}},
  doi = {10.1145/2933575.2934514},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/DepIndCoindTypes.pdf},
  booktitle = {Proceedings of {{LICS}} '16},
  publisher = {{ACM}},
  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},
  doi = {10.4230/LIPIcs.CALCO.2017.5},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/MonoidalCompanyAccessible.pdf},
  booktitle = {{{CALCO}} 2017},
  publisher = {{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}},
  author = {Basold, Henning and Pous, Damien and Rot, Jurriaan},
  year = {2017},
  keywords = {own}
}