Journals.bib

@inproceedings{Basold-LinearCiruits,
  title = {({{Co}}){{Algebraic Characterizations}} of {{Signal Flow Graphs}}},
  doi = {10.1007/978-3-319-06880-0_6},
  url = {http://www.cs.ru.nl/~hbasold/publications/LinSys.pdf},
  booktitle = {Horizons of the {{Mind}} -- {{Prakash Panangaden Festschrift}}},
  author = {Basold, Henning and Bonsangue, Marcello M. and Hansen, Helle Hvid and Rutten, Jan},
  year = {2014},
  keywords = {own},
  pages = {124--145}
}

@article{BasoldHansen:Welldef-Equiv-CoInd,
  title = {Well-Definedness and Observational Equivalence for Inductive-{{Coinductive}} Programs},
  doi = {10.1093/logcom/exv091},
  url = {http://www.cs.ru.nl/~hbasold/publications/ObsEq.pdf},
  journal = {Journal of Logic and Computation},
  author = {Basold, Henning and Hansen, Helle Hvid},
  month = apr,
  year = {2016},
  keywords = {own}
}

@article{Basold16:HIT-Prog,
  title = {Higher {{Inductive Types}} in {{Programming}}},
  volume = {David Turner's Festschrift -- Functional Programming:  Past, Present, and Future},
  url = {http://www.cs.ru.nl/~hbasold/publications/HIT-programming.pdf},
  journal = {Journal of Universal Computer Science},
  author = {Basold, Henning and Geuvers, Herman and {van der Weide}, Niels},
  year = {2017},
  keywords = {own}
}

@article{BHPR17:NewtonSeriesCoindMSCS,
  title = {Newton {{Series}}, {{Coinductively}}: {{A Comparative Study}} of {{Composition}}},
  volume = {To Appear},
  url = {http://www.cs.ru.nl/~hbasold/publications/NewtonCoind-MSCS.pdf},
  journal = {Special MSCS Issue of Best ICTAC 2015 Papers},
  author = {Basold, Henning and Hansen, Helle Hvid and Pin, Jean-{\'E}ric and Rutten, Jan},
  year = {2017},
  keywords = {own}
}