Talks
-
-
Models of Inductive-Coinductive Logic Programs, Henning Basold.
November 2016.
[ bib |
.pdf ]
-
-
Inductive-Coinductive Reasoning: With an Eye Towards Reactive
Systems, 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.
May 2013.
COIN, CWI Amsterdam.
[ bib ]