OwnTalks.bib

@misc{basold_polynomial-based_2013,
  address = {CWI Amsterdam},
  title = {Polynomial-Based Calculi for Linear Circuits},
  author = {Basold, Henning},
  month = may,
  year = {2013},
  note = {COIN, CWI Amsterdam}
}

@misc{basold_programming_2014,
  address = {Radboud University Nijmegen},
  title = {Programming on {{Intial Algebras}}/{{Final Coalgebras}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/ProgCoAlgebras-Brouwer.pdf},
  author = {Basold, Henning},
  month = feb,
  year = {2014},
  note = {Brouwer Seminar}
}

@misc{basold_programming_2014-1,
  address = {Lorentz Center Leiden},
  title = {Programming on {{Intial Algebras}}/{{Final Coalgebras}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/ProgCoAlgebras-ReprStreams.pdf},
  author = {Basold, Henning},
  month = jan,
  year = {2014},
  note = {Representing Streams II}
}

@misc{basold_towards_2016,
  address = {Strathclyde University},
  title = {Towards a {{Theoretic Foundation}} of {{Agda}}'s {{Data Types}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/AIM23-talk.pdf},
  author = {Basold, Henning},
  month = apr,
  year = {2016}
}

@misc{basold_type_2016,
  address = {Novi Sad},
  title = {Type {{Theory}} Based on {{Dependent Inductive}} and {{Coinductive Types}} - {{With}} an {{Eye Towards Cubical OTT}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/TYPES16-talk.pdf},
  author = {Basold, Henning},
  month = may,
  year = {2016}
}

@misc{basold_using_2015,
  address = {University ot Dundee},
  title = {Using {{Coalgebras}} to {{Find}} the {{Productive Among}} the {{Lazy}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/ObsNorm-Dundee.pdf},
  author = {Basold, Henning},
  month = oct,
  year = {2015}
}

@misc{basold_models_2016,
  address = {Edinburgh},
  title = {Models of {{Inductive}}-{{Coinductive Logic Programs}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/Mixed-LP_CoALP-Typ16.pdf},
  author = {Basold, Henning},
  month = nov,
  year = {2016}
}

@misc{basold_dependent_2016,
  address = {Lyon},
  title = {Dependent {{Inductive}}-{{Coinductive Types}}: {{Category Theoretical}} and {{Syntactic Perspectives}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/FibDialg-Chocola.pdf},
  author = {Basold, Henning},
  month = sep,
  year = {2016}
}

@misc{basold_inductive-coinductive_2016,
  address = {Hoog Soeren},
  title = {Inductive-{{Coinductive Reasoning}}: {{With}} an {{Eye Towards Reactive Systems}}},
  url = {http://www.cs.ru.nl/~hbasold/talks/IPA-ind-coind.pdf},
  author = {Basold, Henning},
  month = nov,
  year = {2016}
}