2020-09-25 14:0:52 (GMT)
We have a winner: "Politeness for The Theory of Algebraic Datatypes"
https://arxiv.org/abs/2004.04854
See you all next week!
2020-10-01 12:51:12 (GMT)
I am very late for the link, but see you all in 9 minutes on https://jitsi.mpi-klsb.mpg.de/bookclub9_Polite_datatype