Henning Basold

Talks

 
Foundations for Proof Search in Coinductive Horn Clause Theories, Henning Basold. September 2018. [ bib | .pdf ]
 
Breaking the Loop: Recursive Proofs for Coinductive Predicates, Henning Basold. June 2018. [ bib | .pdf ]
 
Recursive Proofs for Coinductive Predicates: The Later Modality in Fibrations, Henning Basold. June 2018. [ bib | .pdf ]
 
Inductive-Coinductive Reasoning: Computability and Type Theory, Henning Basold. May 2018. [ bib | .pdf ]
 
Mixed Inductive-Coinductive Reasoning: Types, Programs and Logic, Henning Basold. April 2018. [ bib | .pdf ]
 
A Recursive Logic for the Equivalence of Inductive-Coinductive Programs, Henning Basold. November 2017. [ bib | .pdf ]
 
Inductive-Coinductive Reasoning: With an Eye Towards Reactive Systems, Henning Basold. November 2016. [ bib | .pdf ]
 
Models of Inductive-Coinductive Logic Programs, Henning Basold. November 2016. [ bib | .pdf ]
 
Dependent Inductive-Coinductive Types: Category Theoretical and Syntactic Perspectives, Henning Basold. September 2016. [ bib | .pdf ]
 
Type Theory Based on Dependent Inductive and Coinductive Types - With an Eye Towards Cubical OTT, Henning Basold. May 2016. [ bib | .pdf ]
 
Towards a Theoretic Foundation of Agda's Data Types, Henning Basold. April 2016. [ bib | .pdf ]
 
Using Coalgebras to Find the Productive Among the Lazy, Henning Basold. October 2015. [ bib | .pdf ]
 
Programming on Intial Algebras/Final Coalgebras, Henning Basold. February 2014. Brouwer Seminar. [ bib | .pdf ]
 
Programming on Intial Algebras/Final Coalgebras, Henning Basold. January 2014. Representing Streams II. [ bib | .pdf ]
 
Polynomial-Based Calculi for Linear Circuits, Henning Basold. March 2013. COIN, CWI Amsterdam. [ bib ]