Journals.bib

@inproceedings{Basold-LinearCiruits,
  title = {({{Co}}){{Algebraic Characterizations}} of {{Signal Flow Graphs}}},
  booktitle = {Horizons of the {{Mind}} -- {{Prakash Panangaden Festschrift}}},
  doi = {10.1007/978-3-319-06880-0_6},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/LinSys.pdf},
  author = {Basold, Henning and Bonsangue, Marcello 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},
  journal = {J. Log. Comput.},
  doi = {10.1093/logcom/exv091},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/ObsEq.pdf},
  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},
  journal = {J.UCS},
  url = {http://www.jucs.org/jucs_23_1/higher_inductive_types_in},
  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}}},
  journal = {MSCS},
  doi = {10.1017/S0960129517000159},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/NewtonCoind-MSCS.pdf},
  author = {Basold, Henning and Hansen, Helle Hvid and Pin, Jean-\'Eric and Rutten, Jan},
  year = {2017},
  keywords = {own},
  pages = {1-29},
  publisher = {{Cambridge University Press}}
}

@article{Basold16:DepIndCoindTypes-Full,
  title = {Type {{Theory}} Based on {{Dependent Inductive}} and {{Coinductive Types}}},
  volume = {abs/1605.02206},
  journal = {CoRR},
  url = {http://arxiv.org/abs/1605.02206},
  author = {Basold, Henning and Geuvers, Herman},
  year = {2016},
  keywords = {own}
}