Short.bib

@inproceedings{Basold-LinearCiruits-EI,
  title = {Algebraic {{Characterisations}} of {{Signal Flow Graphs}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/AlgCharSFG-CalcoEI.pdf},
  booktitle = {{{CALCO Early Ideas}}},
  author = {Basold, Henning and Bonsangue, Marcello and Rutten, Jan},
  year = {2013},
  keywords = {own}
}

@inproceedings{basold_dialgebra-inspired_2015,
  title = {Dialgebra-Inspired {{Syntax}} for {{Dependent Inductive}} and {{Coinductive Types}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/DialgSyntax-TYPES.pdf},
  booktitle = {Extended {{Abstracts}} for {{International Conference}} on {{Types}} for {{Proofs}} and {{Programs}} ({{TYPES}})},
  author = {Basold, Henning and Geuvers, Herman},
  month = may,
  year = {2015},
  keywords = {own}
}

@inproceedings{basold_dependent_2015-1,
  title = {Dependent {{Inductive}} and {{Coinductive Types Through Dialgebras}} in {{Fibrations}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/FibDialg-TYPES.pdf},
  booktitle = {Extended {{Abstracts}} for {{International Conference}} on {{Types}} for {{Proofs}} and {{Programs}} ({{TYPES}})},
  author = {Basold, Henning and Geuvers, Herman},
  month = may,
  year = {2015},
  keywords = {own}
}

@inproceedings{basold_note_2014,
  title = {A {{Note}} on {{Typed Behavioural Differential Equations}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/TypedBDE-CMCS.pdf},
  booktitle = {{{CMCS Short Contributions}}},
  author = {Basold, Henning and H. Hansen, Helle and Rutten, Jan J. M. M.},
  year = {2014},
  keywords = {own}
}

@inproceedings{basold_type_2016-1,
  title = {Type {{Theory}} Based on {{Dependent Inductive}} and {{Coinductive Types}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/abstract_for_Types2016.pdf},
  booktitle = {Extended {{Abstracts}} for {{International Conference}} on {{Types}} for {{Proofs}} and {{Programs}} ({{TYPES}})},
  author = {Basold, Henning and Geuvers, Herman},
  month = may,
  year = {2016},
  keywords = {own}
}

@inproceedings{basold_observational_2014,
  title = {Observational {{Equivalence}} for {{Behavioural Differential Equations}}},
  url = {http://www.cs.ru.nl/~hbasold/publications/TypedBDE_PSC.pdf},
  booktitle = {Extendend {{Abstracts}} for the {{Workshop}} on {{Proof}}, {{Structures}} and {{Computation}}},
  author = {Basold, Henning and Hansen, Helle Hvid},
  year = {2014}
}

@inproceedings{basold_models_2016-1,
  title = {Models of {{Inductive}}-{{Coinductive Logic Programs}}},
  archiveprefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {1612.03032},
  url = {http://www.cs.ru.nl/~hbasold/publications/MixedLP-CoALP-Ty16.pdf},
  booktitle = {Pre-Proceedings of the {{Workshop}} on {{Coalgebra}}, {{Horn Clause Logic Programming}} and {{Types}}},
  author = {Basold, Henning and Komendantskaya, Ekaterina},
  month = nov,
  year = {2016}
}