Skip to main content



Handouts


DATE LINK SUBJECT
1/21 proofs.pdf A note about proofs
1/21 template.tex LaTeX template for assignments
1/21 H1source.tex LaTeX source for homework 1
1/23 Q1solutions.pdf Quiz 1 solutions
1/28 Q2solutions.pdf Quiz 2 solutions
1/29 H2source.tex LaTeX source for homework 2
2/7 Kleene.pdf Proofs of (9.14)–(9.18), p. 50
2/7 H3source.tex LaTeX source for homework 3
2/11 Q3solutions.pdf Quiz 3 solutions
2/17 Silva-thesis.pdf Silva, Kleene coalgebra. PhD thesis, Radboud University, 2010.
2/17 Rutten.pdf Rutten, The method of coalgebra: exercises in coinduction. CWI Amsterdam, 2019.
2/19 H4source.tex LaTeX source for homework 4
2/27 Q4solutions.pdf Quiz 4 solutions
3/5 H5source.tex LaTeX source for homework 5
3/6 P16.pdf P22.pdf Practice prelims