Talks
- Basold, H. (2024). Enriched and Homotopical Coalgebra [Contributed Talk]. [pdf]
- Basold, H. (2024). Higher Coalgebra: A Homotopy Theory Of Behaviour [Invited Talk]. [pdf]
- Basold, H. (2024). Simplicial and Higher Coalgebra [Invited Talk]. [pdf]
- Basold, H. (2018). Foundations for Proof Search in Coinductive Horn Clause Theories. [pdf]
- Basold, H. (2018). Breaking the Loop: Recursive Proofs for Coinductive Predicates. [pdf]
- Basold, H. (2018). Recursive Proofs for Coinductive Predicates: The Later Modality in Fibrations. [pdf]
- Basold, H. (2018). Inductive-Coinductive Reasoning: Computability and Type Theory. [pdf]
- Basold, H. (2018). Mixed Inductive-Coinductive Reasoning: Types, Programs and Logic. [pdf]
- Basold, H. (2017). A Recursive Logic for the Equivalence of Inductive-Coinductive Programs. [pdf]
- Basold, H. (2016). Inductive-Coinductive Reasoning: With an Eye Towards Reactive Systems. [pdf]
- Basold, H. (2016). Models of Inductive-Coinductive Logic Programs. [pdf]
- Basold, H. (2016). Dependent Inductive-Coinductive Types: Category Theoretical and Syntactic Perspectives. [pdf]
- Basold, H. (2016). Type Theory Based on Dependent Inductive and Coinductive Types - With an Eye Towards Cubical OTT. [pdf]
- Basold, H. (2016). Towards a Theoretic Foundation of Agda’s Data Types. [pdf]
- Basold, H. (2015). Using Coalgebras to Find the Productive Among the Lazy. [pdf]
- Basold, H. (2014). Programming on Intial Algebras/Final Coalgebras. [pdf]
- Basold, H. (2014). Programming on Intial Algebras/Final Coalgebras. [pdf]
- Basold, H. (2013). Polynomial-Based Calculi for Linear Circuits.