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 = {http://www.cs.ru.nl/~hbasold/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 = {http://www.cs.ru.nl/~hbasold/publications/NewtonCoind.pdf},
  booktitle = {Proceedings of {{ICTAC}} '15},
  author = {Basold, Henning and Hansen, Helle Hvid and Pin, Jean-{\'E}ric 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 = {http://dx.doi.org/10.1007/978-3-319-10702-8_9},
  booktitle = {Proceedings of {{Formal Methods}} for {{Industrial Critical Systems}}, {{FMICS}} 2014},
  author = {Basold, Henning and G{\"u}nther, Henning and Huhn, Michaela and Milius, Stefan},
  year = {2014},
  keywords = {own},
  pages = {124--139}
}

@inproceedings{Basold16:DepIndCoindTypes,
  title = {Type {{Theory}} Based on {{Dependent Inductive}} and {{Coinductive Types}}},
  doi = {10.1145/2933575.2934514},
  url = {http://www.cs.ru.nl/~hbasold/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 = {http://www.cs.ru.nl/~hbasold/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}
}

@inproceedings{Basold2018:BreakingLoopRecursive,
  title = {Breaking the {{Loop}}: {{Recursive Proofs}} for {{Coinductive Predicates}} in {{Fibrations}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/RecCoindLogic.pdf},
  booktitle = {Under {{Review}}},
  author = {Basold, Henning},
  year = {2018}
}